Distributed symbolic model checking for \(\mu\)-calculus (Q816198): Difference between revisions

@@ Property / describes a project that uses @@
+CESAR
@@ Property / describes a project that uses: CESAR / 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-005-1493-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2086845443
@@ Property / OpenAlex ID: W2086845443 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Tableau-based model checking in the propositional mu-calculus
+Normal rank
@@ Property / cites work @@
+The NX message passing interface
@@ Property / cites work: The NX message passing interface / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754071
@@ Property / cites work: Q2754071 / rank @@
+Normal rank
@@ Property / cites work @@
+A scalable parallel algorithm for reachability analysis of very large circuits
+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 @@
+Local model checking in the modal mu-calculus
@@ Property / cites work: Local model checking in the modal mu-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:816198