Login / Signup
Dedicative Verification of Reflex Programs.
Igor S. Anureev
Natalya Olegovna Garanina
Tatiana V. Lyakh
Andrei S. Rozov
Vladimir E. Zyubin
Sergei P. Gorlatch
Published in:
Program. Comput. Softw. (2020)
Keyphrases
</>
symbolic execution
model checking
computer programs
hardware designs
database
programming environment
artificial intelligence
social networks
computer vision
image processing
database systems
data structure
evolutionary algorithm
query language
program execution
concurrent systems