Formal methods for verification of websites macrostructure integrity.
Mikhail R. KogalovskyE. N. EfimovaT. A. RybinaV. B. BrakhinPublished in: Program. Comput. Softw. (2000)
Keyphrases
- formal methods
- website
- model checking
- model checker
- formal analysis
- formal specification
- artificial intelligence
- safety critical
- knowledge based systems
- process algebra
- provably correct
- temporal properties
- software engineering
- reactive systems
- distributed systems
- development lifecycle
- information systems
- security properties
- formal verification
- temporal logic
- integrity constraints
- web pages
- software systems
- business processes
- relational databases
- high assurance
- protocol specification
- formal specification language