Login / Signup
GDSL: A Generic Decoder Specification Language for Interpreting Machine Language.
Alexander Sepp
Julian Kranz
Axel Simon
Published in:
Electron. Notes Theor. Comput. Sci. (2012)
Keyphrases
</>
specification language
programming language
formal specification
description language
software environment
high level
symbolic execution
case study
database
databases
object oriented
general purpose
domain specific
low complexity
model checker