Login / Signup

A Model-Checking Approach for Fault Analysis Based on Configurable Model Extraction.

Hideto OgawaMakoto IchiiTomoyuki MyojinMasaki ChikahisaYuichiroh Nakagawa
Published in: IEICE Trans. Inf. Syst. (2015)
Keyphrases
  • model checking
  • model checker
  • temporal logic
  • verification method
  • formal verification
  • temporal properties
  • finite state machines
  • process algebra