Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Michael Leuschel
A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Symbolic Reachability Analysis of B Through ProB and LTSmin
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automatic Flow Analysis for Event-B
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Forward Slicing by Conjunctive Partial Deduction and Argument Filtering
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Symmetry Reduction for B by Permutation Flooding
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automatic Refinement Checking for B
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Polyvariant Binding-Time Analysis for Off-Line Partial Deduction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Combining CSP and B for Specification and Property Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automatic Testing From Formal Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
