Teaching formal methods lite via testing.
Mark UttingSteve ReevesPublished in: Softw. Test. Verification Reliab. (2001)
Keyphrases
- formal methods
- development lifecycle
- formal specification
- model checking
- knowledge based systems
- safety critical
- learning systems
- model checker
- e learning
- artificial intelligence
- provably correct
- temporal properties
- security properties
- formal analysis
- test cases
- software engineering
- distance learning
- learning environment
- software testing
- learning process
- computer programming
- relational databases
- reactive systems
- software development
- higher education
- databases
- multi agent
- fine grained
- information systems
- modeling language
- process algebra