Proof assistance for real-time systems using an interactive theorem prover

DOI10.1016/S0304-3975(01)00045-7zbMATH Open0997.68128OpenAlexW2655063184MaRDI QIDQ1603708

Paul Z. Kolano

Publication date: 15 July 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(01)00045-7

zbMATH Keywords

theorem provingreal-time systemsformal methodsproof assistanceASTRAL

Mathematics Subject Classification ID

Cites Work

• Unnamed Item
• An embedding of timed transition systems in \(HOL\)
• Formal development of reactive systems. Case study production cell
• A new solution of Dijkstra's concurrent programming problem

Uses Software

• PVS
• HOL
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Proof assistance for real-time systems using an interactive theorem prover