Login / Signup

OpenBSD Formal Driver Verification with SeL4.

Adriana NicolaePaul IroftiIoana Leustean
Published in: SecITC (2023)
Keyphrases
  • formal methods
  • formal analysis
  • model checking
  • formal specification
  • formal model
  • face verification
  • genetic algorithm
  • e learning
  • website
  • multiscale
  • data model
  • formal verification
  • asynchronous circuits