Before and after vacuity (Q1028732): Difference between revisions

@@ Property / DOI @@
-.1007/s10703-008-0060-y
@@ Property / DOI: 10.1007/s10703-008-0060-y / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+NuSMV
@@ Property / describes a project that uses: NuSMV / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10703-008-0060-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2120702165
@@ Property / OpenAlex ID: W2120702165 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient detection of vacuity in temporal model checking
+Normal rank
@@ Property / cites work @@
+Temporal Antecedent Failure: Refining Vacuity
@@ Property / cites work: Temporal Antecedent Failure: Refining Vacuity / rank @@
+Normal rank
@@ Property / cites work @@
+Correct Hardware Design and Verification Methods
@@ Property / cites work: Correct Hardware Design and Verification Methods / rank @@
+Normal rank
@@ Property / cites work @@
+NuSMV: A new symbolic model checker
@@ Property / cites work: NuSMV: A new symbolic model checker / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods in Computer-Aided Design
@@ Property / cites work: Formal Methods in Computer-Aided Design / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Finding State Solutions to Temporal Logic Queries
@@ Property / cites work: Finding State Solutions to Temporal Logic Queries / rank @@
+Normal rank
@@ Property / cites work @@
+Q5715677
@@ Property / cites work: Q5715677 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769612
@@ Property / cites work: Q2769612 / rank @@
+Normal rank
@@ Property / cites work @@
+Correct Hardware Design and Verification Methods
@@ Property / cites work: Correct Hardware Design and Verification Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed-parameter tractability and completeness II: On completeness for W[1]
+Normal rank
@@ Property / cites work @@
+Vacuity Checking in the Modal Mu-Calculus*
@@ Property / cites work: Vacuity Checking in the Modal Mu-Calculus* / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation algorithms for combinatorial problems
+Normal rank
@@ Property / cites work @@
+Q4494396
@@ Property / cites work: Q4494396 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of optimization problems
@@ Property / cites work: The complexity of optimization problems / rank @@
+Normal rank
@@ Property / cites work @@
+Sanity Checks in Formal Verification
@@ Property / cites work: Sanity Checks in Formal Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of unique solutions
@@ Property / cites work: On the complexity of unique solutions / rank @@
+Normal rank
@@ Property / cites work @@
+A practical decision method for propositional dynamic logic (Preliminary Report)
+Normal rank
@@ Property / cites work @@
+Q4804918
@@ Property / cites work: Q4804918 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10703-008-0060-Y
@@ Property / DOI: 10.1007/S10703-008-0060-Y / rank @@
+Normal rank