6 search results - page 2 / 2 » Experiments with Deterministic omega-Automata for Formulas o... |
146
click to vote
EUROCAST
2007
Springer
15 years 8 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...