Tutorial applications for Verification, Validation and Uncertainty Quantification using VECMA toolkit.
Diana SuleimenovaHamid ArabnejadWouter EdelingDavid CosterOnnie O. LukJalal LakhliliVytautas JancauskasMichal KulczewskiLourens E. VeenDongwei YePavel ZunValeria V. KrzhizhanovskayaAlfons G. HoekstraDaan CrommelinPeter V. CoveneyDerek GroenPublished in: J. Comput. Sci. (2021)
Keyphrases
- model checking
- incomplete information
- asynchronous circuits
- formal verification
- search algorithm
- person identification
- possibility theory
- formal analysis
- inherent uncertainty
- verification method
- risk averse
- reasoning under uncertainty
- signature verification
- uncertain information
- decision making
- expected utility
- uncertain data
- temporal logic
- conditional probabilities
- fuzzy sets
- bayesian networks