Login / Signup
Correctly Slicing Extended Finite State Machines.
Torben Amtoft
Kelly Androutsopoulos
David Clark
Published in:
From Lambda Calculus to Cybersecurity Through Program Analysis (2020)
Keyphrases
</>
finite state machines
model checking
finite state automata
digital circuits
hidden markov models
database
data sets
information systems
software development
semantic information
regular expressions