Method and Case Study of Model Checking Concurrent Systems That Use Unbounded Timestamps.

Shinya Nakano Tatsuhiro Tsuchiya

Published in: PRDC (2017)

Keyphrases

model checking
concurrent systems
temporal logic
verification method
case study
computational complexity
dynamic programming
software engineering
artificial intelligence
theorem prover
formal specification
formal methods
formal verification
reachability analysis