336 search results - page 4 / 68 » Monitoring modulo theories |
152
Voted
FROCOS
2009
Springer
16 years 11 days ago
2009
Springer
176
Voted
TABLEAUX
2009
Springer
16 years 10 days ago
2009
Springer
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...
169
click to vote
QEST
2007
IEEE
16 years 2 days ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
SAT
2007
Springer
15 years 12 months ago
2007
Springer