Algebraic specification and formal methods for program development: what are the real problems?
Donald SannellaAndrzej TarleckiPublished in: Bull. EATCS (1990)
Keyphrases
- formal methods
- safety critical
- knowledge based systems
- software engineering
- formal specification
- provably correct
- development lifecycle
- formal analysis
- artificial intelligence
- process algebra
- model checker
- model checking
- reactive systems
- formal specification language
- protocol specification
- security properties
- test cases
- knowledge acquisition
- specification language
- software architecture
- case study