Formal verification of timing conditions.

Hans Eveking Christoph Mai

Published in: EURO-DAC (1990)

Keyphrases

formal verification
model checking
model checker
bounded model checking
automated verification
coloured petri nets
real time
neural network
fuzzy logic
sufficient conditions
environmental conditions
formal methods
program slicing