Designing a Requirements Specification Language for Reactive Systems.

Nancy G. Leveson

Published in: ZUM (1998)

Keyphrases

specification language
reactive systems
formal specification
requirements specification
model checking
formal methods
description language
real time systems
programming language
temporal logic
petri net
software environment
control flow
information flow
expert systems
database
databases