Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification.
Toni ManciniIgor MelattiEnrico TronciPublished in: CoRR (2021)
Keyphrases
- random sampling
- formal verification
- model checking
- active learning
- model checker
- sample size
- sampling algorithm
- sampling procedure
- symbolic model checking
- automated verification
- adaptive sampling
- program slicing
- bounded model checking
- random projections
- search space
- sampling methods
- random samples
- sliding window
- query by committee
- random sample
- temporal logic
- reservoir sampling
- data sets