Experiences in Designing and Using Formal Specification Languages for Embedded Control Software.

Nancy G. Leveson

Published in: HSCC (2000)

Keyphrases

control software
specification languages
formal specification
object oriented programs
control system
first order logic
model checking
case study
real time
data sets
formal methods
decision making
knowledge representation
mathematical model