Author:
Chatzieleftheriou G.,Katsaros P.
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference38 articles.
1. Model checking: algorithmic verification and debugging;Clarke;Commun. ACM,2009
2. Model repair for probabilistic systems;Bartocci,2011
3. Model checking and abstraction;Clarke;ACM Trans. Program. Lang. Syst.,1994
4. Property preserving abstractions for the verification of concurrent systems;Loiseaux;Form. Methods Syst. Des.,1995
5. Abstraction-based model checking using modal transition systems;Godefroid,2001
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献