Login / Signup
More Adaptive Does not Imply Less Safe (with Formal Verification).
Luca Pulina
Armando Tacchella
Published in:
Haifa Verification Conference (2017)
Keyphrases
</>
formal verification
model checking
model checker
automated verification
symbolic model checking
bounded model checking
information systems
program slicing
domain specific
knowledge acquisition