Login / Signup
Experimental Fault Analysis Process Implemented Using Model Extraction and Model Checking.
Hideto Ogawa
Makoto Ichii
Fumihiro Kumeno
Toshiaki 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