\textsc{LTL} falsification in infinite-state systems (Q2105460): Difference between revisions

@@ Property / cites work @@
+Proving the existence of fair paths in infinite-state systems
+Normal rank
@@ Property / cites work @@
+Automatic discovery of fair paths in infinite-state transition systems
+Normal rank
@@ Property / cites work @@
+Compositional Reasoning
@@ Property / cites work: Compositional Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Ranking Templates for Linear Loops
@@ Property / cites work: Ranking Templates for Linear Loops / rank @@
+Normal rank
@@ Property / cites work @@
+A new look at the automatic synthesis of linear ranking functions
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Proving non-termination
@@ Property / cites work: Proving non-termination / rank @@
+Normal rank
@@ Property / cites work @@
+Geometric nontermination arguments
@@ Property / cites work: Geometric nontermination arguments / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal property verification as a program analysis task
+Normal rank
@@ Property / cites work @@
+Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems
+Normal rank
@@ Property / cites work @@
+A compositional approach to CTL\(^*\) verification
+Normal rank
@@ Property / cites work @@
+Model checking with strong fairness
@@ Property / cites work: Model checking with strong fairness / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for the Design of Real-Time Systems
+Normal rank
@@ 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
+Normal rank
@@ Property / cites work @@
+Region Stability Proofs for Hybrid Systems
@@ Property / cites work: Region Stability Proofs for Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
+Normal rank
@@ Property / cites work @@
+GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS
+Normal rank
@@ Property / cites work @@
+A constraint-based approach to solving games on infinite graphs
+Normal rank
@@ Property / cites work @@
+The MathSAT5 SMT Solver
@@ Property / cites work: The MathSAT5 SMT Solver / rank @@
+Normal rank
@@ 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
+Normal rank
@@ Property / cites work @@
+Two Consequences of the Transposition Theorem on Linear Inequalities
+Normal rank
@@ 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
+Normal rank
@@ Property / cites work @@
+Proving Termination of Programs Automatically with AProVE
+Normal rank
@@ Property / cites work @@
+The benefits of relaxing punctuality
@@ Property / cites work: The benefits of relaxing punctuality / rank @@
+Normal rank
@@ Property / cites work @@
+On the decidability of continuous time specification formalisms
+Normal rank