3147 search results - page 221 / 630 » Open-Source Model Checking |
ECEASST
2010
15 years 17 days ago
2010
135
click to vote
TOCL
2011
14 years 10 months ago
2011
In a seminal paper from 1985, Sistla and Clarke showed that the model-checking problem for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the s...