Login / Signup

Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda.

Carolina CarreiraJoão F. FerreiraAlexandra MendesNicolas Christin
Published in: AppFM@FM (2021)
Keyphrases
  • formal verification
  • model checking
  • network security
  • automated verification
  • heuristic search
  • sensitive data
  • symbolic model checking