Towards formal verification for cyber-physically agnostic software: A case study.

Dmitrii Drozdov Sandeep Patil Victor Dubinin Valeriy Vyatkin

Published in: IECON (2017)

Keyphrases

formal verification
program slicing
model checking
model checker
bounded model checking
automated verification
case study
symbolic model checking
software development
software tools
computer systems
functional verification
artificial intelligence
source code