Login / Signup
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