On the consistency, expressiveness, and precision of partial modeling formalisms (Q617712): Difference between revisions

@@ Property / cites work @@
+Q2851316
@@ Property / cites work: Q2851316 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Decision Problems for Mixed and Modal Specifications
+Normal rank
@@ Property / cites work @@
+EXPTIME-complete Decision Problems for Modal and Mixed Specifications
+Normal rank
@@ Property / cites work @@
+Q4818796
@@ Property / cites work: Q4818796 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536601
@@ Property / cites work: Q4536601 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Interpretation Frameworks
@@ Property / cites work: Abstract Interpretation Frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q4414390
@@ Property / cites work: Q4414390 / rank @@
+Normal rank
@@ Property / cites work @@
+LTL Generalized Model Checking Revisited
@@ Property / cites work: LTL Generalized Model Checking Revisited / 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 @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+A domain equation for refinement of partial systems
+Normal rank
@@ Property / cites work @@
+Q2763694
@@ Property / cites work: Q2763694 / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+On Modal Refinement and Consistency
@@ Property / cites work: On Modal Refinement and Consistency / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036564
@@ Property / cites work: Q4036564 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Mixed Transition Systems Revisited
@@ Property / cites work: Mixed Transition Systems Revisited / rank @@
+Normal rank