Probabilistic Analysis of Time Sensitive Systems
CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST
Pagination or Media Count:
Time-sensitive systems in uncertain environments have complex behaviors. How do we assure correctness of such systems Exact probabilistic verification is infeasible due to model size Black box testing does not yield bounded predictions Need formal approach for dealing with uncertainty Accurate, bounded, probabilistic results In reasonable time even for rarely occurring errors.
- Operations Research
- Computer Programming and Software