Automated compositional proofs for real-time systems.
Carlo A. FuriaMatteo RossiDino MandrioliAngelo MorzentiPublished in: Theor. Comput. Sci. (2007)
Keyphrases
- real time systems
- real time
- distributed systems
- embedded systems
- object oriented programming language
- automated theorem provers
- real time database systems
- theorem proving
- embedded real time systems
- architectural model
- mission critical
- real time embedded
- theorem prover
- anytime algorithms
- timing constraints
- dynamic programming
- artificial neural networks