|
|
(10 intermediate revisions by 3 users not shown) |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: Ultimate Automizer / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: AProVE / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: PySMT / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: MathSAT5 / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: Uppaal / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: iRankFinder / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: Yices / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: z3 / rank |
| | Normal rank |
| Property / MaRDI profile type |
| | |
| Property / MaRDI profile type: MaRDI publication profile / rank |
| | Normal rank |
| Property / full work available at URL |
| | |
| Property / full work available at URL: https://doi.org/10.1016/j.ic.2022.104977 / rank |
| | Normal rank |
| Property / OpenAlex ID |
| | |
| Property / OpenAlex ID: W4307210883 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Proving the existence of fair paths in infinite-state systems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Automatic discovery of fair paths in infinite-state transition systems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Compositional Reasoning / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A theory of timed automata / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Ranking Templates for Linear Loops / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A new look at the automatic synthesis of linear ranking functions / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Computer Aided Verification / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Proving non-termination / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Geometric nontermination arguments / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Temporal property verification as a program analysis task / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A compositional approach to CTL\(^*\) verification / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Model checking with strong fairness / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Formal Methods for the Design of Real-Time Systems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Formal techniques for distributed systems. Joint 14th IFIP WG 6.1 international conference, FMOODS 2012 and 32nd IFIP WG 6.1 international conference, FORTE 2012, Stockholm, Sweden, June 13--16, 2012. Proceedings / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Region Stability Proofs for Hybrid Systems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A constraint-based approach to solving games on infinite graphs / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: The MathSAT5 SMT Solver / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Tools and algorithms for the construction and analysis of systems. 14th international conference, TACAS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29--April 6, 2008. Proceedings / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Two Consequences of the Transposition Theorem on Linear Inequalities / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Tools and algorithms for the construction and analysis of systems. 25 years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6--11, 2019. Proceedings. Part III / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Proving Termination of Programs Automatically with AProVE / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: The benefits of relaxing punctuality / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: On the decidability of continuous time specification formalisms / rank |
| | Normal rank |