Login / Signup

Application of Formal Verification Methods in a Safety-Oriented Software Development Life Cycle.

Oleg OdarushchenkoOleksiy StriukViacheslav ShamanskyiOleksandr A. LetychevskyiAleksandr IvasiukElena Odarushchenko
Published in: DESSERT (2023)
Keyphrases
  • formal verification
  • case study
  • data driven
  • model checking
  • software maintenance