Esterel v7: From Verified Formal Specification to Efficient Industrial Designs.

Published in: FASE (2005)

Keyphrases

formal specification
model checking
specification language
formal methods
reverse engineering
circuit design
data abstraction
object oriented design
database
databases
fuzzy logic
source code
business rules
concurrent systems
specification languages