Login / Signup

On Using Results of Code-Level Bounded Model Checking in Assurance Cases.

Carmen CârlanDaniel RatiuBernhard Schätz
Published in: SAFECOMP Workshops (2016)
Keyphrases
  • bounded model checking
  • model checking
  • formal verification
  • higher level
  • linear temporal logic
  • data sets
  • neural network
  • case study
  • search algorithm
  • object oriented
  • source code
  • levels of abstraction