Challenge Benchmarks for Verification of Real-Time Programs

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 papers presents open challenges for verification of real-time systems in the context of the Real-time Specification for Java.

Provided by: Association for Computing Machinery Topic: Software Date Added: Jan 2010 Format: PDF

Download Now

Find By Topic