Formal Verification of Signalling Programs with SafeCap.

Alexei Iliasov Dominic Taylor Linas Laibinis Alexander B. Romanovsky

Published in: SAFECOMP (2018)

Keyphrases

formal verification
program slicing
model checking
model checker
automated verification
bounded model checking
computer programs
symbolic model checking
temporal logic
software engineering
functional verification