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 ScienceTheoretical Computer Science
2010English

Symbolic Reachability Analysis of B Through ProB and LTSmin

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Automatic Flow Analysis for Event-B

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Forward Slicing by Conjunctive Partial Deduction and Argument Filtering

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Symmetry Reduction for B by Permutation Flooding

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Automatic Refinement Checking for B

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

A Polyvariant Binding-Time Analysis for Off-Line Partial Deduction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Combining CSP and B for Specification and Property Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Automatic Testing From Formal Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy