Book Chapter
Using B as a High Level Programming Language in an Industrial Project: Roissy VAL
Frédéric Badeau and Arnaud Amelot
Lecture Notes in Computer Science, 2005, Volume 3455, ZB 2005: Formal Specification and Development in Z and B, Pages 15-25
Book Chapter
Météor: A Successful Application of B in a Large Project
Patrick Behm, Paul Benoit, Alain Faivre and Jean-Marc Meynadier
Lecture Notes in Computer Science, 1999, Volume 1708, FM’99 — Formal Methods, Page 712
Book Chapter
Completeness Refinement in Abstract Symbolic Trajectory Evaluation
Mila Dalla Preda
Lecture Notes in Computer Science, 2004, Volume 3148, Static Analysis, Page 535
Book Chapter
Asymptotically Optimal Kinodynamic Motion Planning for Self-reconfigurable Robots
John H. Reif and Sam Slee
Springer Tracts in Advanced Robotics, 2008, Volume 47, Algorithmic Foundation of Robotics VII, Pages 457-472
Book Chapter
Introduction
Integrated Circuits and Systems, 2006, Abstraction Refinement for Large Scale Model Checking, Pages 1-10
Book Chapter
Preserving Fairness
Advances in Information Security, 2006, Volume 13, The Austin Protocol Compiler, Pages 67-69
Book Chapter
Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking
Leo Freitas, Ana Cavalcanti and Jim Woodcock
Lecture Notes in Computer Science, 2006, Volume 4260, Formal Methods and Software Engineering, Pages 697-716
Book Chapter
A formalization of abstraction in LAMBDA
Anthony McIsaac
Lecture Notes in Computer Science, 1994, Volume 780, Higher Order Logic Theorem Proving and Its Applications, Pages 227-238
Book Chapter
Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking
Bing Li and Fabio Somenzi
Lecture Notes in Computer Science, 2006, Volume 3920, Tools and Algorithms for the Construction and Analysis of Systems, Pages 227-241
Journal Article
Specification, proof, and model checking of the Mondex electronic purse using RAISE
Chris George and Anne E. Haxthausen
Formal Aspects of Computing, 2008, Volume 20, Number 1, Pages 101-116