On the correctness of upper layers of automotive systems

DOI10.1007/s00165-008-0097-0zbMath1165.68047OpenAlexW1985654543MaRDI QIDQ1019015

Leonid Kof, Alexander Gruler, Steffen Knapp, Alexander Harhurin, Manfred Broy, Jewgenij Botaschanjan, Maria Spichkova, Wolfgang J. Paul

Publication date: 27 May 2009

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-008-0097-0

zbMATH Keywords

formal verificationtime-triggered systemsmodel-based developmentautomotive software

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (1)

Effective homology of bicomplexes, formalized in Coq

Uses Software

• veriSoft
• Isabelle/HOL

Cites Work

• Theorem Proving in Higher Order Logics
• Correct Hardware Design and Verification Methods
• Correct Hardware Design and Verification Methods
• Logic for Programming, Artificial Intelligence, and Reasoning

This page was built for publication: On the correctness of upper layers of automotive systems