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

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-95582-7_16
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Verification of Interlocking Systems Using Statistical Model Checking

2017English

Model Checking RAISE Applicative Specifications

2007English

Improving Pushdown System Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Model Checking Using Net Unfoldings

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1993English

Checking Strong Specifications Using an Extensible Software Model Checking Framework

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Methods to Raise Skill Levels Using a New OJT System

Seimitsu Kogaku Kaishi/Journal of the Japan Society for Precision Engineering
Mechanical Engineering
2008English

Model-Checking Software Using Precise Abstractions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Marionette: A System for Parallel Distributed Programming Using a Master/Slave Model

English

Formal Verification of a Group Membership Protocol Using Model Checking

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy