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

@@ Property / describes a project that uses @@
+CUDD
@@ Property / describes a project that uses: CUDD / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+YASM
@@ Property / describes a project that uses: YASM / 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.1016/j.ic.2010.08.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2005831808
@@ Property / OpenAlex ID: W2005831808 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:617712