Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Biere, A., Cimatti, A., Clarke, E., Strichman, O., Zhu, Y.: Bounded model checking, To appear in Advances in Computers, Number 58
2. Lecture Notes in Computer Science;B. Barras,2000
3. Berger, U., Schwichtenberg, H.: An inverse of the evaluation functional for typed λ-calculus. In: Proceedings of the Sixth Annual IEEE Symposium on Logic in Computer Science LICS 1991, Amsterdam, July 1991, pp. 203–211. IEEE Computer Society Press, Los Alamitos (1991)
4. Lecture Notes in Computer Science;S. Berghofer,2002
5. Lecture Notes in Computer Science;S. Berghofer,1999
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Deriving Comparators and Show Functions in Isabelle/HOL;Interactive Theorem Proving;2015
2. Operational Semantics and Assertional Reasoning;Scalable Techniques for Formal Verification;2010
3. Adapting functional programs to higher order logic;Higher-Order and Symbolic Computation;2008-10-30
4. Verification Condition Generation Via Theorem Proving;Logic for Programming, Artificial Intelligence, and Reasoning;2006
5. Functional Correctness Proofs of Encryption Algorithms;Logic for Programming, Artificial Intelligence, and Reasoning;2005