Automatic Data Refinement
- 1 January 2013
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- Vol. 2013, 84-99
- https://doi.org/10.1007/978-3-642-39634-2_9
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- A Fully Verified Executable LTL Model CheckerLecture Notes in Computer Science, 2013
- Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOLPublished by Springer Science and Business Media LLC ,2013
- The New Quickcheck for IsabelleLecture Notes in Computer Science, 2012
- The Isabelle Collections FrameworkLecture Notes in Computer Science, 2010
- Code Generation via Higher-Order Rewrite SystemsLecture Notes in Computer Science, 2010
- The HOL-Omega LogicLecture Notes in Computer Science, 2009
- On NFA ReductionsLecture Notes in Computer Science, 2004
- Refinement CalculusPublished by Springer Science and Business Media LLC ,1998
- On nested depth first searchPublished by American Mathematical Society (AMS) ,1997
- Proof of correctness of data representationsActa Informatica, 1972