Export Citations
1 Results for: Keyword: Partial kripke structures
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,765,191 records)|Limit your search to The ACM Full-Text Collection (758,232 records)
- articleNovember 2011
LTL generalized model checking revisited
International Journal on Software Tools for Technology Transfer (STTT) (STTT), Volume 13, Issue 6Pages 571–584Given a 3-valued abstraction of a program (possibly generated using static program analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks whether there exists a concretization of that abstraction that ...