Formal Verification of Websites.
Sonia FloresSalvador LucasAlicia VillanuevaPublished in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
- formal verification
- model checking
- website
- model checker
- bounded model checking
- symbolic model checking
- automated verification
- web pages
- clickstream data
- functional verification
- internet users
- integer programming
- temporal logic
- program slicing
- web navigation
- web content
- e government
- open source
- object oriented
- social media