Login / Signup
A Rule-based Verification Strategy for Array Manipulating Programs.
Emanuele De Angelis
Fabio Fioravanti
Alberto Pettorossi
Maurizio Proietti
Published in:
Fundam. Informaticae (2015)
Keyphrases
</>
expert systems
symbolic execution
data driven
hardware designs
information systems
selection strategy
real world
computer vision
search algorithm
information technology
computer programs
face verification
formal verification
verification method