Automated Compositional Proofs for Real-Time Systems.
Carlo A. FuriaMatteo RossiDino MandrioliAngelo MorzentiPublished in: FASE (2005)
Keyphrases
- real time systems
- real time
- distributed systems
- embedded systems
- automated theorem provers
- mission critical
- architectural model
- database
- object oriented programming language
- real time embedded
- real time database systems
- timing constraints
- cooperative
- theorem prover
- embedded real time systems
- theorem proving
- automatically generated
- response time
- software engineering