Verification of Interlocking Systems Using Statistical Model Checking

doi 10.1109/hase.2017.10
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

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

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

Privacy PolicyRefund Policy