Formal and semi-formal verification of a web voting system.
Maximiliano CristiáClaudia S. FrydmanPublished in: Int. J. Web Inf. Syst. (2015)
Keyphrases
- formal verification
- model checking
- web pages
- automated verification
- web mining
- model checker
- web data
- web applications
- bounded model checking
- symbolic model checking
- formal methods
- semantic web
- web documents
- web resources
- formal specification
- program slicing
- website
- machine processable
- web users
- temporal logic
- web content
- information sources
- knowledge based systems
- web search
- object oriented
- end users