A Universal Disassembler using Table Based Formal Architectural Specification.
Christoph JaeschkeBodo HoppeWolfram SauerPublished in: MBMV (2003)
Keyphrases
- formal specification
- formal methods
- formal language
- specification languages
- reactive systems
- specification language
- high level
- requirements specification
- formal languages
- operational semantics
- model checking
- formal verification
- formal analysis
- formal model
- architectural design
- database
- provably correct
- relational databases
- algorithmic information theory