C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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