Development of Model Checker of Dynamic Linear Hybrid Automata.

Ryo Yanase Tatsunori Sakai Makoto Sakai Satoshi Yamane

Published in: COMPSAC (2013)

Keyphrases

hybrid automata
model checker
model checking
artificial intelligence
software engineering
temporal logic
description language
formal methods
specification language
formal verification
knowledge representation
programming language
development process