Title

Challenge Benchmarks For Verification Of Real-Time Programs

Keywords

Java; Real-time; Verification

Abstract

Real-time systems, and in particular safety-critical systems, are a rich source of challenges for the program verification community as software errors can have catastrophic consequences. Unfortunately, it is nearly impossible to find representative safety-critical programs in the public domain. This has been significant impediment to research in the field, as it is very difficult to validate new ideas or techniques experimentally. This paper presents open challenges for verification of real-time systems in the context of the Real-time Specification for Java. But, our main contribution is a family of programs, called CDx, which we present as an open source benchmark for the verification community. Copyright © 2010 ACM.

Publication Date

4-20-2010

Publication Title

PLPV'10 - Proceedings of the 2010 ACM SIGPLAN Workshop on Programming Languages meets Program Verification

Number of Pages

57-62

Document Type

Article; Proceedings Paper

Personal Identifier

scopus

DOI Link

https://doi.org/10.1145/1707790.1707800

Socpus ID

77950909787 (Scopus)

Source API URL

https://api.elsevier.com/content/abstract/scopus_id/77950909787

This document is currently not available here.

Share

COinS