Newthink - An Orwellian specification language for real-time safety critical systems.
Paul MukherjeeVictoria StavridouPublished in: RTS (1992)
Keyphrases
- safety critical
- specification language
- real time
- formal methods
- safety analysis
- fault tolerant
- support systems
- formal specification
- embedded systems
- agent architecture
- model checker
- programming language
- description language
- adaptive systems
- control system
- distributed systems
- decision support
- knowledge representation
- database