Incremental verification of architecture specification language for real-time systems.
Jeffrey J. P. TsaiA. Prasad SistlaAvinash SahayRaymond A. PaulPublished in: WORDS (1997)
Keyphrases
- real time systems
- specification language
- symbolic execution
- real time
- architectural model
- description language
- formal specification
- programming language
- software architecture
- model checker
- distributed systems
- model checking
- real time embedded
- embedded systems
- real time database systems
- timing constraints
- software environment
- software engineering
- formal verification
- object oriented programming language
- general purpose
- anytime algorithms
- low cost
- database
- fine grained