A Survey on Formal Verification Approaches for Dependable Systems.

Fayhaa Hameedi Khlaif Shawkat Sabah Khairullah

Published in: CoRR (2022)

Keyphrases

formal verification
automated verification
commercial products
management system
learning systems
complex systems
bounded model checking
neural network
information systems
object oriented
distributed systems
model checking