Login / Signup
Formal Verification of mu-Charts.
Doug Goldson
Published in:
APSEC (2002)
Keyphrases
</>
formal verification
model checking
bounded model checking
automated verification
model checker
development environment
symbolic model checking
coloured petri nets
program slicing
statistical process control
cumulative sum
functional verification