336 search results - page 4 / 68 » Monitoring modulo theories |
FROCOS
2009
Springer
14 years 4 months ago
2009
Springer
LPNMR
2009
Springer
14 years 4 months ago
2009
Springer
TABLEAUX
2009
Springer
14 years 4 months 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...
QEST
2007
IEEE
14 years 4 months 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
14 years 3 months ago
2007
Springer