2881 search results - page 102 / 577 » Model Checking for Programming Languages using Verisoft |
116
click to vote
ICSOC
2003
Springer
15 years 7 months ago
2003
Springer
Converting a conventional contract into an electronic equivalent is not trivial. The difficulties are caused by the ambiguities that the original human-oriented text is likely to c...
109
click to vote
CAV
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents a toolset for model checking x86 executables. The members of the toolset are CodeSurfer/x86, WPDS++, and the Path Inspector. CodeSurfer/x86 is used to extract a...
133
click to vote
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
A component revolution is underway, bringing developers improved productivity and opportunities for code reuse. However, whereas existing tools work well for builders of desktop ap...
143
click to vote
SCAM
2008
IEEE
15 years 9 months ago
2008
IEEE
The JOANA project (Java Object-sensitive ANAlysis) is a program analysis infrastructure for the Java language. It contains a wide range of analysis techniques such as dependence g...
105
click to vote
FMCAD
2004
Springer
15 years 8 months ago
2004
Springer
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...