1304 search results - page 117 / 261 » Model Checking C Programs Using F-SOFT |
117
click to vote
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
Programs written in languages that provide direct access to memory through pointers often contain memory-related faults, which may cause non-deterministic failures and even securi...
137
click to vote
JAVA
2001
Springer
15 years 7 months ago
2001
Springer
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. Jackal implements Java’s memory model and allows multithreaded Java programs...
136
click to vote
TOOLS
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
124
click to vote
ICCD
2003
IEEE
15 years 12 months ago
2003
IEEE
Multiple clock domains are a challenge for hardware specification and verification. We present a method for specifying the relations between multiple clocks, and for modeling th...
128
click to vote
ASIAN
1999
Springer
15 years 7 months ago
1999
Springer
Unfold/fold transformation systems for logic programs have been extensively investigated. Existing unfold/fold transformation systems for normal logic programs allow only Tamaki-Sa...