Raccoon: automated verification of guarded race conditions in web applications.

Simon Koch Tim Sauer Martin Johns Giancarlo Pellegrino

Published in: SAC (2020)

Keyphrases

web applications
automated verification
model checking
application development
automated reasoning
web browser
end users
application developers
formal verification
web services
business applications
web application development
knowledge representation
development tools
web crawlers
rich internet applications