Sign in
Continuous Formal Verification of Amazon s2n.
Andrey Chudnov
Nathan Collins
Byron Cook
Joey Dodds
Brian Huffman
Colm MacCárthaigh
Stephen Magill
Eric Mertens
Eric Mullen
Serdar Tasiran
Aaron Tomb
Eddy Westbrook
Published in:
CAV (2) (2018)
Keyphrases
</>
formal verification
model checking
automated verification
model checker
bounded model checking
symbolic model checking
neural network
functional verification
data sets
program slicing
temporal logic
formal specification