A Formal Specification of an Automatic Train Protection System.
Andrew SimpsonPublished in: FME (1994)
Keyphrases
- formal specification
- model checking
- specification languages
- object oriented design
- specification language
- formal methods
- reverse engineering
- process algebra
- concurrent systems
- data abstraction
- multistage
- software components
- model checker
- computation tree logic
- artificial intelligence
- grid workflow
- information security
- distributed systems
- software engineering
- cooperative
- information systems