Formal Specification and Verification of Industrial Control Logic Components.
Oscar LjungkrantzKnut ÅkessonMartin FabianChengyin YuanPublished in: IEEE Trans Autom. Sci. Eng. (2010)
Keyphrases
- formal specification
- model checking
- model checker
- formal methods
- concurrent systems
- specification languages
- process algebra
- asynchronous circuits
- verification method
- software components
- object oriented design
- specification language
- bounded model checking
- formal verification
- temporal logic
- epistemic logic
- protocol specification
- reverse engineering
- linear temporal logic
- grid workflow
- data abstraction
- building blocks
- software engineering
- control system
- description language
- design patterns
- modal logic
- real world
- formal specification language
- software systems
- fine grained
- distributed systems
- cooperative
- artificial intelligence