Verifying BlackBox Systems using Statistical Analysis VESTA tool

1
Verifying Black-Box Systems using Statistical
Analysis (VESTA tool)

• More scalable than traditional numerical
  techniques for verification
• Can verify any implementation for which we can
  generate sample runs
• No need for model model is constructed from
  random samples

2
Predictive Analysis of MultiThreaded Java
Programs (JMPAX tool)

• Constructs other possible executions from a
  single execution
• Vector clocks are used for instrumentation
• Predicts safety errors in other executions
  efficiently