Login / Signup
Cyber War, Formal Verification and Certified Infrastructure.
Wolfgang J. Paul
Published in:
VSTTE (2012)
Keyphrases
</>
formal verification
model checking
automated verification
symbolic model checking
bounded model checking
model checker
program slicing
cyber physical systems
functional verification
cyber defense
artificial intelligence
temporal logic
cyber security
data collection
information exchange