Incremental Verification of Architecture Specification Language for Real-Time Systems.
Jeffrey J. P. TsaiA. Prasad SistlaAvinash SahayRaymond A. PaulPublished in: Int. J. Softw. Eng. Knowl. Eng. (1998)
Keyphrases
- real time systems
- specification language
- symbolic execution
- real time
- architectural model
- description language
- formal specification
- distributed systems
- real time embedded
- programming language
- software architecture
- model checker
- model checking
- embedded systems
- software environment
- real time database systems
- object oriented programming language
- databases
- formal methods
- open source
- timing constraints
- artificial intelligence
- database
- software development