Symbolic Model Checking of Timed Guarded Commands using Difference Decision Diagrams - Configit

Symbolic Model Checking of Timed Guarded Commands using Difference Decision Diagrams_academic papers

Explore the techniques to verify real-time systems by modeling time-constraints with decision diagrams.

Download