Login / Signup

Maintenance Analysis and Optimization via Statistical Model Checking - Evaluating a Train Pneumatic Compressor.

Enno RuijtersDennis GuckPeter DrolengaMargot PetersMariëlle Stoelinga
Published in: QEST (2016)
Keyphrases
  • model checking
  • temporal logic
  • concurrent systems
  • formal specification
  • temporal properties
  • reachability analysis
  • finite state
  • model checker
  • timed automata
  • automated verification
  • abstract interpretation