Achieving high integrity of process control software by graphical design and formal verification.

Wolfgang A. Halang Bernd J. Krämer

Published in: Softw. Eng. J. (1992)

Keyphrases

formal verification
achieving high
design process
control software
model checker
model checking
conceptual model
case study
mobile robot
object oriented
process model
direct manipulation
symbolic model checking
bounded model checking