Linear templates of ACTL formulas with an application to SAT-based verification (Q2398494): Difference between revisions

@@ Property / cites work @@
+On ACTL formulas having linear counterexamples
@@ Property / cites work: On ACTL formulas having linear counterexamples / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Bounded Model Checking for Propositional Projection Temporal Logic
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Using branching time temporal logic to synthesize synchronization skeletons
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Compressing BMC Encodings with QBF
@@ Property / cites work: Compressing BMC Encodings with QBF / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+SAT-based verification for timed component connectors
+Normal rank
@@ Property / cites work @@
+CTL Model Checking in Deduction Modulo
@@ Property / cites work: CTL Model Checking in Deduction Modulo / rank @@
+Normal rank
@@ Property / cites work @@
+A New Approach to Bounded Model Checking for Branching Time Logics
+Normal rank
@@ Property / cites work @@
+Q3146278
@@ Property / cites work: Q3146278 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems - FORTE 2005
+Normal rank
@@ Property / cites work @@
+Q4654277
@@ Property / cites work: Q4654277 / rank @@
+Normal rank
@@ Property / cites work @@
+A New Translation from ECTL* to SAT
@@ Property / cites work: A New Translation from ECTL* to SAT / rank @@
+Normal rank
@@ Property / cites work @@
+QBF Encoding of Temporal Properties and QBF-Based Verification
+Normal rank
@@ Property / cites work @@
+Bounded semantics
@@ Property / cites work: Bounded semantics / rank @@
+Normal rank