426 search results - page 6 / 86 » C Annotations |
TMM
2008
13 years 8 months ago
2008
NAR
2008
13 years 8 months ago
2008
The Saccharomyces Genome Database (SGD; http:// www.yeastgenome.org/) collects and organizes biological information about the chromosomal features and gene products of the budding...
ICSE
2009
IEEE-ACM
13 years 6 months ago
2009
IEEE-ACM
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
AMAST
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against func...
ICECCS
2007
IEEE
14 years 8 days ago
2007
IEEE
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...