Login / Signup
Predator: A Tool for Verification of Low-Level List Manipulation - (Competition Contribution).
Kamil Dudka
Petr Müller
Petr Peringer
Tomás Vojnar
Published in:
TACAS (2013)
Keyphrases
</>
low level
high level
database
case study
object recognition
higher level
visual features
asynchronous circuits
real time
information systems
multiscale
np hard
semantic information
model checking
low level features
formal verification