423
click to vote
SPIN
13 years 10 months ago
2012 Springer 
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
236
click to vote
SPIN
13 years 10 months ago
2012 Springer 
Abstract. Craig interpolation is an active research topic and has become a powerful technique in verification. We present SMTInterpol, an interpolating SMT solver for the quanti...
241
Voted
SPIN
13 years 10 months ago
2012 Springer
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
|
Theoretical Computer Science