Dependency Graphs for Interactive Theorem Provers (2000)

Cached

Download Links

by Yves Bertot , Olivier Pons , Loïc Pottier
Citations:2 - 0 self

Active Bibliography

230 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
215 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
209 A new approach to abstract syntax with variable binding – Murdoch J. Gabbay, Andrew M. Pitts - 2002
8 The CtCoq System: Design and Architecture – Yves Bertot - 1998
145 Modeling and Verifying Systems using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions – Randal E. Bryant, Shuvendu K. Lahiri, Sanjit A. Seshia - 2002
2 The theorema environment for interactive proof development. Contributed talk at – Florina Piroi, Temur Kutsia - 2005
109 Design of Embedded Systems: Formal Models, Validation, and Synthesis – S. Edwards, L. Lavagno, E. A. Lee, A. Sangiovanni-Vincentelli - 1999
40 TAME: A PVS Interface to Simplify Proofs for Automata Models – Myla Archer, Constance Heitmeyer, Steve Sims - 1998
82 Full functional verification of linked data structures – Karen Zee, Viktor Kuncak, Martin C. Rinard - 2008