Checking Temporal Properties of Presburger Counter Systems using Reachability Analysis.

K. Vasanta Lakshmi Aravind Acharya Raghavan Komondoor

Published in: CoRR (2013)

Keyphrases

temporal properties
reachability analysis
model checking
formal methods
neural network
natural language
video sequences
expert systems
distributed systems