Sign in
Formal Verification of a Keystore.
Jaap Boender
Goran Badevic
Published in:
TASE (2022)
Keyphrases
</>
formal verification
model checking
model checker
automated verification
bounded model checking
symbolic model checking
coloured petri nets
temporal logic
program slicing
functional verification
expert systems
orders of magnitude