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

Virgile Prévosto; Jochen Burghardt; Jens Gerlach; Kerstin Hartig; Hans Pohl; Kim Voellinger

doi:10.1109/indin.2013.6622971

ScienceGate Book Chapters

JOURNAL ARTICLE

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

Virgile Prévosto Jochen Burghardt Jens Gerlach Kerstin Hartig Hans Pohl Kim Voellinger

Year: 2013 Vol: 7504 Pages: 710-715

DOI: 10.1109/indin.2013.6622971

Get Full-Text PDF Get Analytical Report

Abstract

S.710-715

Keywords:

Computer science Formal verification Formal methods Formal specification Software verification Software engineering Verification and validation Software Verification Programming language Software construction Software system Engineering

Metrics

Cited By

0.66

FWCI (Field Weighted Citation Impact)

Refs

0.72

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 railway software with Frama-C

Abstract

Metrics

Citation History

Topics

Related Documents

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

Guide to Software Verification with Frama-C

Typestates Specification and Verification in Frama-C

Formal Verification With Frama-C: A Case Study in the Space Software Domain

How Test Generation Helps Software Specification and Deductive Verification in Frama-C