A Logic-Based Approach to the Formal Specification of Data Formats.
Michael HartleMax MühlhäuserDaniel SchumannArsene BotchakPublished in: iPRES (2008)
Keyphrases
- formal specification
- data formats
- specification languages
- model checker
- databases
- model checking
- data types
- specification language
- database management systems
- object oriented design
- formal methods
- metadata
- epistemic logic
- processing units
- process algebra
- concurrent systems
- reverse engineering
- asynchronous circuits
- software components
- temporal logic
- management system
- data model
- data analysis
- data processing
- web services
- artificial intelligence