Funder
Deutsche Forschungsgemeinschaft
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference30 articles.
1. Back, R.-J., von Wright, J.: Refinement Calculus. A Systematic Introduction. Graduate Texts in Computer Science. Springer, Berlin (1998)
2. Blanchette, J.C., Hölzl, J., Lochbihler, A., Panny, L., Popescu, A., Traytel, D.: Truly Modular (Co)datatypes for Isabelle/HOL. In: ITP, vol. 8558, pp. 93–110. LNCS, Springer (2014)
3. Brunner, J.: Implementation and Verification of Partial Order Reduction for on-the-fly model checking. MA thesis. Technische Universität München, 15 July, 2014. p. 83 (2014). url: http://www21.in.tum.de/~brunnerj/documents/ivporotfmc.pdf
4. Brunner, J., Lammich, P.: Formal Verification of an Executable LTL Model Checker with Partial Order Reduction. In: NFM. pp. 307–321, Springer (2016)
5. Chou, C.-T., Peled, D.: Formal verification of a partial-order reduction technique for model checking. In: TACAS. 1055. LNCS. Springer, pp. 241–257 (1996)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献