Automatic Synthesis of SystemC-Code from Formal Specifications.

Carsten Rust Achim Rettberg

Published in: DIPES (2004)

Keyphrases

formal specification
object oriented design
code generation
model checking
formal specification language
temporal logic
specification languages
source code
artificial intelligence
reverse engineering
databases
open source
formal methods
specification language
process algebra
protocol specification
database