A Formal Specification and Verification Framework for Designing and Verifying Reliable and Dependable Software for Computerized Numerical Control (CNC) Systems.
Yunan CaoZili ShaoMeng WangChun Jason XueYoudong ChenHongxing WeiTianmiao WangPublished in: ICDCS (2008)
Keyphrases
- formal specification
- formal methods
- model checking
- safety critical
- software components
- formal specification language
- process algebra
- object oriented design
- formal verification
- model checker
- asynchronous circuits
- computer systems
- temporal logic
- specification languages
- knowledge based systems
- building blocks
- grid workflow
- specification language
- concurrent systems
- verification method
- software maintenance
- reverse engineering
- distributed systems
- cooperative
- database
- design patterns
- software systems
- source code
- control system