Developing a self-applicable verification system. Theory and practice.

Dmitry A. Kondratyev Alexey V. Promsky

Published in: Autom. Control. Comput. Sci. (2015)

Keyphrases

model checking
computer vision
metadata
formal methods
asynchronous circuits
theoretical insights
genetic algorithm
website
theoretical framework
belief functions
general theory
formal verification
theoretical frameworks