374 search results - page 1 / 75 » Using Language Inference to Verify Omega-Regular Properties |
TACAS
2005
Springer
13 years 11 months ago
2005
Springer
CONCUR
2009
Springer
13 years 3 months ago
2009
Springer
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
KBSE
2005
IEEE
13 years 11 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
POPL
2001
ACM
14 years 5 months ago
2001
ACM
PLDI
2004
ACM
13 years 10 months ago
2004
ACM
