Preprint
Formal Verification of Real-Time Function Blocks Using PVS
Abstract
A critical step towards certifying safety-critical systems is to check their
conformance to hard real-time requirements. A promising way to achieve this is
Authors
Pang L; Wang C-W; Lawford M; Wassyng A; Newell J; Chow V; Tremaine D
Publication date
June 11, 2015
DOI
10.48550/arxiv.1506.03557
Preprint server
arXiv