Login / Signup
Designing Domain Specific Languages for Verification: First Steps.
Phillip James
Markus Roggenbach
Published in:
ATE (2011)
Keyphrases
</>
domain specific languages
real time
programming language
formal verification
model checking
database
high level
learning environment
signature verification
image sequences
multiscale
evolutionary algorithm
special case
general purpose
face detection
high security