VECMAtk: A Scalable Verification, Validation and Uncertainty Quantification Toolkit for Scientific Simulations.
Derek GroenHamid ArabnejadVytautas JancauskasWouter EdelingFredrik JanssonRobin A. RichardsonJalal LakhliliLinda van VeenBartosz BosakPiotr KoptaD. W. WrightN. MonnierPaul KarlshoeferDiana SuleimenovaRobert SinclairMaxime VassauxAnna NikishovaMariusz BieniekOnnie O. LukMichal KulczewskiErwan RaffinDaan CrommelinOlivier HoenenDavid P. CosterTomasz PiontekPeter V. CoveneyPublished in: CoRR (2020)
Keyphrases
- model checking
- scientific data
- false acceptance rate
- formal verification
- asynchronous circuits
- verification method
- uncertain data
- artificial intelligence
- conditional probabilities
- incomplete information
- highly scalable
- data sets
- uncertain information
- signature verification
- scientific workflows
- molecular dynamics
- scientific knowledge
- scientific discovery
- web scale
- possibility theory
- simulation models
- formal analysis
- data intensive
- temporal logic
- databases