Login / Signup
Automated verification of programs and Web systems.
Maurice H. ter Beek
Alexei Lisitsa
Andrei P. Nemytykh
António Ravara
Published in:
J. Log. Algebraic Methods Program. (2016)
Keyphrases
</>
automated verification
model checking
web applications
website
automated reasoning
complex systems
database
management system
formal verification
knowledge base
digital libraries
expert systems
distributed systems
information sources
web users
user behaviour