Sciweavers

Share
IFM
2010
Springer

From Operating-System Correctness to Pervasively Verified Applications

10 years 2 months ago
From Operating-System Correctness to Pervasively Verified Applications
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the interaction of application programs with the operating system, which is usually entrusted with retrieving input data from and transferring output data to peripheral devices. In this scenario, the correct operation of the applications inherently relies on operating-system correctness. Based on the formal correctness of our real-time operating system Olos, this paper describes an approach to pervasively verify applications running on top of the operating system.
Matthias Daum, Norbert Schirmer, Mareike Schmidt
Added 13 Feb 2011
Updated 13 Feb 2011
Type Journal
Year 2010
Where IFM
Authors Matthias Daum, Norbert Schirmer, Mareike Schmidt
Comments (0)
books