TitleA Benchmark for Comparing Different Approaches for Specifying and Verifying Real-Time Systems
Publication TypeConference Paper
Year of Publication1993
AuthorsHeitmeyer, C. L., B. Labaw, and R. Jeffords
Conference NameTenth IEEE Workshop on Real-Time Operating Systems and Software
PublisherIEEE Computer Society Press

This paper describes the Generic Railroad Crossing (GRC) Problem, which has become a popular benchmark for evaluating formal techniques for specifying and analyzing real-time systems.

Full Text

Heitmeyer etal1993.pdf

NRL Publication Release Number