Reference Hub

This research has been cited in:

Chapter
Compositional Verification of Multi-station Interlocking SystemsLeveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications10.1007/978-3-319-47169-3_20
Chapter
Automated Generation of Safety Requirements from Railway Interlocking TablesLeveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies10.1007/978-3-642-34032-1_25
Chapter
Compositional Verification of Interlocking Systems for Large StationsSoftware Engineering and Formal Methods10.1007/978-3-319-66197-1_15
Chapter
Formal Verification of Railway Timetables - Using the UPPAAL Model CheckerFrom Software Engineering to Formal Methods and Tools, and Back10.1007/978-3-030-30985-5_25
Chapter
Distributing the Challenge of Model Checking Interlocking Control TablesLeveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies10.1007/978-3-642-34032-1_26
Chapter
Integral Formal Proof: A Verification Approach Bridging the Gap Between System and Software Levels in Railway SystemsReliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification10.1007/978-3-031-43366-5_10
Chapter
Optimising Ordering Strategies for Symbolic Model Checking of Railway InterlockingsLeveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies10.1007/978-3-642-34032-1_24
Article
Automated generation of formal safety conditions from railway interlocking tablesInternational Journal on Software Tools for Technology Transfer10.1007/s10009-013-0295-9
Chapter
On the Validation of an Interlocking System by Model-CheckingFormal Methods for Industrial Critical Systems10.1007/978-3-319-10702-8_7
Article
Efficient data validation for geographical interlocking systemsFormal Aspects of Computing10.1007/s00165-021-00551-6
Chapter
The Role of Formal Methods in Software Development for Railway ApplicationsSoftware Design and Development10.4018/978-1-4666-4301-7.ch054
Chapter
The Role of Formal Methods in Software Development for Railway ApplicationsRailway Safety, Reliability, and Security10.4018/978-1-4666-1643-1.ch012

Symbolic Model Checking for Interlocking Systems

Kirsten Winter

Source Title: Railway Safety, Reliability, and Security: Technologies and Systems Engineering

ISBN13: 9781466616431|ISBN10: 1466616431|EISBN13: 9781466616448

DOI: 10.4018/978-1-4666-1643-1.ch013

Cite Chapter Cite Chapter

MLA

Winter, Kirsten. "Symbolic Model Checking for Interlocking Systems." Railway Safety, Reliability, and Security: Technologies and Systems Engineering, edited by Francesco Flammini, IGI Global, 2012, pp. 298-315. https://doi.org/10.4018/978-1-4666-1643-1.ch013

APA

Winter, K. (2012). Symbolic Model Checking for Interlocking Systems. In F. Flammini (Ed.), Railway Safety, Reliability, and Security: Technologies and Systems Engineering (pp. 298-315). IGI Global. https://doi.org/10.4018/978-1-4666-1643-1.ch013

Chicago

Winter, Kirsten. "Symbolic Model Checking for Interlocking Systems." In Railway Safety, Reliability, and Security: Technologies and Systems Engineering, edited by Francesco Flammini, 298-315. Hershey, PA: IGI Global, 2012. https://doi.org/10.4018/978-1-4666-1643-1.ch013

Export Reference

Favorite

View Full Text HTML

View Full Text PDF

Abstract

Our results yield a verification tool suitable for use in industry.

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.

Username or email:

Password:

Forgot individual login password?

Create individual account

Symbolic Model Checking for Interlocking Systems

MLA

APA

Chicago

Export Reference

Abstract

Request Access