The following pages link to Computer Aided Verification (Q5716584):
Displayed 15 items.
- Romeo (Q13560) (← links)
- A concurrency-preserving translation from time Petri nets to networks of timed automata (Q453542) (← links)
- On the composition of time Petri nets (Q645045) (← links)
- Formal verification of real-time systems with preemptive scheduling (Q844238) (← links)
- Reachability problems and abstract state spaces for time Petri nets with stopwatches (Q884758) (← links)
- When are timed automata weakly timed bisimilar to time Petri nets? (Q944375) (← links)
- Automating the transformation-based analysis of visual languages (Q973037) (← links)
- Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis (Q2128086) (← links)
- Computing branching distances with quantitative games (Q2210522) (← links)
- TCTL-preserving translations from timed-arc Petri nets to networks of timed automata (Q2453531) (← links)
- Verification of Timed-Arc Petri Nets (Q3075507) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper) (Q3510874) (← links)
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format (Q3605462) (← links)
- Timed Aggregate Graph: A Finite Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets (Q5268455) (← links)