Login / Signup
Formal Verification of Monad Transformers
Brian Huffman
Published in:
CoRR (2012)
Keyphrases
</>
formal verification
model checking
model checker
bounded model checking
symbolic model checking
automated verification
partial discharge
coloured petri nets
temporal logic
program slicing
neural network
orders of magnitude