Login / Signup

Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V&V Process.

Maike SchwammbergerChristopher HarperGleifer Vaz AlvesGreg ChanceTony PipeKerstin Eder
Published in: CoRR (2022)
Keyphrases
  • formal verification
  • model checking
  • neural network
  • artificial intelligence
  • process model
  • development process
  • automated verification
  • real time