Deductive Runtime Certification
Open Access
- 3 January 2005
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 113, 45-63
- https://doi.org/10.1016/j.entcs.2004.01.035
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- CMCPublished by Association for Computing Machinery (ACM) ,2002
- Software reliability via run-time result-checkingJournal of the ACM, 1997
- A case study in model checking software systemsScience of Computer Programming, 1997
- Safe kernel extensions without run-time checkingPublished by Association for Computing Machinery (ACM) ,1996
- Designing programs that check their workJournal of the ACM, 1995
- The anatomy of vampireJournal of Automated Reasoning, 1995
- A framework for defining logicsJournal of the ACM, 1993
- The calculus of constructionsInformation and Computation, 1988
- Verifying the unification algorithm in LCFScience of Computer Programming, 1985
- An Efficient Unification AlgorithmACM Transactions on Programming Languages and Systems, 1982