Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL.

Klaus Havelund Kim Guldstrand Larsen Arne Skou

Published in: ARTS (1999)

Keyphrases

model checker
formal verification
real time
model checking
control system
symbolic model checking
automated verification
temporal logic
formal methods
bounded model checking
description language
formal specification
test suite
set theory
control algorithm
transition systems
specification language
fuzzy logic