Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Quentin Cappart

Verification of Interlocking Systems Using Statistical Model Checking

2017English

Related publications

Using Statistical Model Checking for Measuring Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Compositional Verification of Multi-Station Interlocking Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Comparing Formal Verification Approaches of Interlocking Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Stepwise Development and Model Checking of a Distributed Interlocking System - Using RAISE

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Formal Verification of a Group Membership Protocol Using Model Checking

English

Verification, Model Checking and Abstract Interpretation

1997English

Statistical Model Checking of LLVM Code

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Extrapolation of an Optimal Policy Using Statistical Probabilistic Model Checking

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2018English

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy