Gillian, Part II: Real-World Verification for JavaScript and C.

Petar Maksimovic Sacha-Élie Ayoun José Fragoso Santos Philippa Gardner

Published in: CAV (2) (2021)

Keyphrases

real world
website
open source
wide range
data sets
synthetic data
web browser
machine learning
case study
data model
data structure
data mining
real life
database
web applications
image sequences
model checking
cd rom
synthetic datasets