Login / Signup
Algebraic Approach to Verification and Testing of Distributed Applications.
Oleksandr A. Letychevskyi
Volodymyr Peschanenko
Viktor Radchenko
Maxim Orlovsky
Andrey Sobol
Published in:
IECC (2019)
Keyphrases
</>
formal verification
test generation
symbolic execution
model checking
test cases
software testing
information systems
face recognition
expert systems
higher order
databases
formal analysis
case study
person identification
asynchronous circuits
verification method
computer vision