554 search results - page 14 / 111 » Approximate Probabilistic Model Checking |
FORMATS
2007
Springer
14 years 1 months ago
2007
Springer
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...
WIA
2009
Springer
14 years 2 months ago
2009
Springer
DATE
2003
IEEE
14 years 24 days ago
2003
IEEE
: Binary Decision Diagrams (BDDs) have been widely used in synthesis and verification. Boolean Satisfiability (SAT) Solvers, on the other hand, have been gaining
ERSHOV
2003
Springer
14 years 21 days ago
2003
Springer
ENTCS
2006
13 years 7 months ago
2006