Lightweight Formal Methods for Computer Algebra Systems.
Martin DunstanTom KelseySteve LintonUrsula MartinPublished in: ISSAC (1998)
Keyphrases
- lightweight
- formal methods
- computer algebra systems
- computer algebra
- theorem prover
- theorem proving
- formal analysis
- model checking
- software engineering
- formal specification
- safety critical
- knowledge based systems
- artificial intelligence
- inference rules
- process algebra
- modeling language
- wireless sensor networks
- case study
- temporal logic
- authentication protocol
- first order logic
- development environments
- information systems