Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs

DOI10.1007/11506676_3zbMath1134.68348OpenAlexW2160452497MaRDI QIDQ5458792

Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir

Publication date: 24 April 2008

Published in: Logic Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11506676_3

zbMATH Keywords

Theorem provingProgram transformationPVSFault-toleranceProgram synthesisMechanical verificationAddition of fault tolerance

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Formal verification of mobile robot protocols ⋮ Facilitating the design of fault tolerance in transaction level SystemC programs ⋮ Model-based construction and verification of critical systems using composition and partial refinement

Uses Software

• Unnamed Item
• PVS

This page was built for publication: Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs