Experience report on developing the Front-end client unit under the control of formal methods.
Jan Friso GrooteAmmar OsaiweranJacco H. WesseliusPublished in: SAC (2012)
Keyphrases
- formal methods
- development lifecycle
- formal analysis
- model checking
- formal specification
- process algebra
- knowledge based systems
- client server
- back end
- temporal properties
- control unit
- provably correct
- knowledge representation
- model checker
- relational databases
- design process
- temporal logic
- information systems
- security properties