220 search results - page 6 / 44 » Coq Modulo Theory |
125
Voted
LPNMR
2009
Springer
15 years 10 months ago
2009
Springer
144
Voted
TABLEAUX
2009
Springer
15 years 10 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...
139
Voted
QEST
2007
IEEE
15 years 10 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...
82
Voted
SAT
2007
Springer
15 years 9 months ago
2007
Springer
97
Voted
IJPP
2000
15 years 3 months ago
2000