Pages that link to "Item:Q5394176"
From MaRDI portal
The following pages link to Automated Technology for Verification and Analysis (Q5394176):
Displaying 11 items.
- Bounded model checking of ETL cooperating with finite and looping automata connectives (Q364388) (← links)
- A transformation-based approach to implication of GSTE assertion graphs (Q364478) (← links)
- A tighter analysis of Piterman's Büchi determinization (Q989532) (← links)
- Tool support for learning Büchi automata and linear temporal logic (Q1019031) (← links)
- A complete characterization of deterministic regular liveness properties (Q2465051) (← links)
- From complementation to certification (Q2575735) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308436) (← links)
- GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic (Q5458337) (← links)
- Correct Hardware Design and Verification Methods (Q5897059) (← links)
- Formal Verification of Executable Complementation and Equivalence Checking for Büchi Automata (Q6487930) (← links)
- Congruence Relations for Büchi Automata (Q6488469) (← links)