Automated specification and verification of Web-based applications.

Maurice H. ter Beek Alberto Lluch-Lafuente

Published in: J. Log. Algebraic Methods Program. (2017)

Keyphrases

formal verification
asynchronous circuits
formal methods
semi automated
model checking
manual inspection
high level
data driven
computer assisted
protocol specification
learning process
website
multimedia
real world
automated analysis
reactive systems
artificial intelligence