Author:
Buccafurri Francesco,Eiter Thomas,Gottlob Georg,Leone Nicola
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference12 articles.
1. Enhancing model checking in verification by AI techniques;Buccafurri;Artificial Intelligence,1999
2. Skeletons for branching time temporal logic;Clarke,1981
3. Automatic verification of finite-state concurrent systems using temporal logic specifications;Clarke;ACM Trans. Programming Languages,1996
4. Verification tools for finite-state concurrent systems;Clarke,1994
5. Efficient generation of counterexamples and witnesses in symbolic model checking;Clarke,1994
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献