Verification of Programs with Exceptions Through Operator Precedence Automata.

Francesco Pontiggia Michele Chiari Matteo Pradella

Published in: SEFM (2021)

Keyphrases

symbolic execution
turing machine
model checking
hardware designs
cellular automata
asynchronous circuits
finite automata
finite state machines
face verification
partial order
computer programs
formal verification
resource constraints
program execution
verification method
database
fixpoint
processing times