Login / Signup
Using Symbolic Model Checking to Verify the Railway Stations of Hoorn-Kersenboogerd and Heerhugowaard.
Cindy Eisner
Published in:
CHARME (1999)
Keyphrases
</>
symbolic model checking
model checking
formal verification
partial observability
conformant planning
deterministic domains
binary decision diagrams
model checker
symbolic representation
temporal logic
web services
incomplete information