Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie

Kerstin Hartig; Jens Gerlach; Juan Pablo Soto; Jürgen Busse

doi:10.1007/978-3-642-14261-1_15

ScienceGate Book Chapters

BOOK-CHAPTER

Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie

Kerstin Hartig Jens Gerlach Juan Pablo Soto Jürgen Busse

Year: 2011 Pages: 145-153

DOI: 10.1007/978-3-642-14261-1_15

Get Full-Text PDF Get Analytical Report

Keywords:

Computer science Domain (mathematical analysis) Mathematical proof Formal verification Software engineering Formal methods Formal specification Software requirements specification Software Programming language Software system Software construction Mathematics

Metrics

Cited By

0.82

FWCI (Field Weighted Citation Impact)

Refs

0.69

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Citation History

Topics

Formal Methods in Verification

Physical Sciences → Computer Science → Computational Theory and Mathematics

Software Testing and Debugging Techniques

Physical Sciences → Computer Science → Software

Advanced Software Engineering Methodologies

Physical Sciences → Computer Science → Artificial Intelligence

Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie

Metrics

Citation History

Topics

Related Documents

Formal specification and automated verification of railway software with Frama-C

Formal requirements specification in safety-critical railway signaling system

Typestates Specification and Verification in Frama-C

Safety Requirements Specification and Verification for Railway Interlocking Systems

Formal Verification of a JavaCard Virtual Machine with Frama-C