2873 search results - page 263 / 575 » Model Checking and the Mu-calculus |
222
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
214
click to vote
PLDI
2006
ACM
16 years 1 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
187
click to vote
CASSIS
2004
Springer
16 years 20 days ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
195
click to vote
CONCUR
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. We propose a model of distributed timed systems where each component is a timed automaton with a set of local clocks that evolve at a rate independent of the clocks of th...
201
click to vote
RV
2010
Springer
15 years 5 months ago
2010
Springer
One of the major productivity hurdles for parallel programming is non-determinism -- a parallel program may yield different results on different executions with the same input, dep...