PARTS: A Temporal Logic-Based Real-Time Software Specification and Verification Method.
Kyo Chul KangKwang-Il KoPublished in: ICSE (1995)
Keyphrases
- verification method
- real time
- model checking
- temporal logic
- linear temporal logic
- software systems
- formal methods
- spatio temporal
- temporal ordering
- temporal information
- real time systems
- formal verification
- formal specification
- software development
- low cost
- vision system
- computer systems
- dedicated hardware
- reactive systems
- temporal dimension
- temporal constraints
- control flow
- software tools
- software design
- temporal databases
- source code
- highly modular
- hardware design
- software components
- safety critical
- spatial and temporal
- knowledge representation
- software developers
- tool suite
- requirements specification
- high speed
- information systems