Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters.
Minyoung KimMark-Oliver StehrCarolyn L. TalcottNikil D. DuttNalini VenkatasubramanianPublished in: FORMATS (2007)
Keyphrases
- formal verification
- model checking
- parameter estimation
- model checker
- automated verification
- sensitivity analysis
- maximum likelihood
- human behavior
- bounded model checking
- symbolic model checking
- tuning parameters
- execution model
- parameter values
- initial conditions
- temporal logic
- parameter space
- expectation maximization