The ASTRAL Specifications of 8 Real-Time Systems

Authors:
Paul Z. Kolano
Affiliations:
-
Venue:
The ASTRAL Specifications of 8 Real-Time Systems
Year:
1999

Citing 0
Cited 2

Classification schemes to aid in the analysis of real-time systems

Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Proof assistance for real-time systems using an interactive theorem prover

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

This report gives the ASTRAL specifications of 8 real-time systems. These systems include a bakery algorithm specification, a cruise control system, an elevator control system, an Olympic boxing scoring system, a phone system, a production cell, a railroad crossing system, and a stoplight control system.