Login / Signup

Experimental Fault Analysis Process Implemented Using Model Extraction and Model Checking.

Hideto OgawaMakoto IchiiFumihiro KumenoToshiaki Aoki
Published in: COMPSAC (2015)
Keyphrases
  • model checking
  • model checker
  • temporal properties
  • temporal logic
  • process algebra
  • process model
  • metamodel
  • formal verification
  • web services
  • np complete
  • finite state machines