A framework for heterogeneous formal modeling and compositional verification of avionics systems.
Yamine Aït AmeurRemi DelmasVirginie WielsPublished in: MEMOCODE (2004)
Keyphrases
- formal methods
- main contribution
- databases
- management system
- lightweight
- complex systems
- formal model
- modeling framework
- database systems
- distributed systems
- intelligent systems
- knowledge based systems
- social networks
- modeling method
- real time
- formal verification
- heterogeneous sources
- heterogeneous systems
- asynchronous circuits