The CAVA Automata Library
暂无分享,去创建一个
[1] Ferenc Gécseg,et al. Tree Automata , 2015, ArXiv.
[2] Tobias Nipkow,et al. A Proof Assistant for Higher-Order Logic , 2002 .
[3] Peter Lammich,et al. Tree Automata , 2009, Arch. Formal Proofs.
[4] Lars Noschinski,et al. A Graph Library for Isabelle , 2015, Math. Comput. Sci..
[5] Philip Wadler,et al. Theorems for free! , 1989, FPCA.
[6] Frank Harary,et al. Graph Theory , 2016 .
[7] Wolfgang Naraschewski,et al. Object-Oriented Verification Based on Record Subtyping in Higher-Order Logic , 1998, TPHOLs.
[8] Tobias Nipkow,et al. A Fully Verified Executable LTL Model Checker , 2013, CAV.
[9] Shin Nakajima,et al. The SPIN Model Checker : Primer and Reference Manual , 2004 .
[10] Peter Lammich,et al. Applying Data Refinement for Monadic Programs to Hopcroft's Algorithm , 2012, ITP.
[11] Achim D. Brucker,et al. A Package for Extensible Object-Oriented Data Models with an Application to IMP++ , 2006 .
[12] Pierre Wolper,et al. Simple on-the-fly automatic verification of linear temporal logic , 1995, PSTV.
[13] John C. Reynolds,et al. Types, Abstraction and Parametric Polymorphism , 1983, IFIP Congress.
[14] Peter Lammich,et al. Automatic Data Refinement , 2013, ITP.