Sign in
Correctness by Construction with Logic-Labeled Finite-State Machines - Comparison with Event-B.
Vladimir Estivill-Castro
René Hexel
Published in:
Australian Software Engineering Conference (2014)
Keyphrases
</>
finite state machines
state machine
digital circuits
finite state automata
model checking
logic programming
modal logic
classical logic
event detection
regular expressions
metadata
database systems
data exchange
temporal logic
multi valued
construction process