Author:
Couvreur Jean-Michel,Duret-Lutz Alexandre,Poitrenaud Denis
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Lecture Notes in Computer Science;I. Černá,2003
2. Lecture Notes in Computer Science;C. Courcoubetis,1991
3. Lecture Notes in Computer Science;J.-M. Couvreur,1999
4. Duret-Lutz, A., Poitrenaud, D.: Spot: an extensible model checking library using transition-based generalized Büchi automata. In: Proc. of MASCOTS 2004, pp. 76–83. IEEE Computer Society, Los Alamitos (2004)
5. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Property specification patterns for finite-state verification. In: Proc. of FMSP 1998, pp. 7–15. ACM, New York (1998)
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Model checking with generalized Rabin and Fin-less automata;International Journal on Software Tools for Technology Transfer;2019-02-25
2. Causality for General LTL-definable Properties;Electronic Proceedings in Theoretical Computer Science;2019-01-03
3. LTL to Smaller Self-Loop Alternating Automata and Back;Theoretical Aspects of Computing – ICTAC 2019;2019
4. Generic Emptiness Check for Fun and Profit;Automated Technology for Verification and Analysis;2019
5. Taking Some Burden Off an Explicit CTL Model Checker;Application and Theory of Petri Nets and Concurrency;2019