Login / Signup
Development and evaluation of symbolic model checker based on approximation for real-time systems.
Satoshi Yamane
Kazuhiro Nakamura
Published in:
Systems and Computers in Japan (2004)
Keyphrases
</>
real time systems
model checker
model checking
real time
software engineering
distributed systems
knowledge based systems
embedded systems
temporal logic
binary decision diagrams
formal verification
formal methods
development process
formal specification
domain specific
expert systems
machine learning