On Automation of CTL* Verification for Infinite-State Systems
Lecture notes in computer science2015pp. 13–29
Citations Over TimeTop 10% of 2015 papers
Related Papers
- → A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools(2013)2 cited
- → Approximately Optimal Monitoring of Plan Preconditions(2013)7 cited
- → Comparing Weakest Precondition and Weakest Liberal Precondition(2015)2 cited
- → Some Variants of the Weakest Precondition in Nondeterminism(1986)1 cited
- Approximately Optimal Monitoring of Plan Preconditions(2013)