StarExec - A Web Service for Evaluating Logic Solvers

  • Foundations
  • Control
  • Validation and Verification
  • Quantitative Verification
  • Probabilistic and Statistical Verification
  • Testing
  • 2012
  • National CPS PI Meeting 2012
  • Presentation
  • Session 2: Technology for CPS
Submitted by Aaron Stump on