Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference45 articles.
1. Vardi MY (1999) Probabilistic linear-time model checking: an overview of the automata-theoretic approach. In: Formal methods for real-time and probabilistic systems, 5th international AMAST workshop, pp 265–276
2. Vardi MY, Wolper P (1986) An automata-theoretic approach to automatic program verification (preliminary report). In: LICS, pp 332–344
3. Vardi MY, Wolper P (1994) Reasoning about infinite computations. Inf Comput 115(1):1–37
4. Couvreur J-M (1999) On-the-fly verification of linear temporal logic. In: World congress on formal, methods, pp 253–271
5. Gastin P, Oddoux D (2001) Fast LTL to Büchi automata translation. In: CAV. LNCS, vol 2102. Springer, Berlin, pp 53–65. http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献