Verification of reactive systems via instantiation of parameterised Boolean equation systems (Q716322): Difference between revisions

@@ Property / author @@
+Tim A. C. Willemse
@@ Property / author: Tim A. C. Willemse / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PGSolver
@@ Property / describes a project that uses: PGSolver / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CAESAR_SOLVE
@@ Property / describes a project that uses: CAESAR_SOLVE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+mCRL2
@@ Property / describes a project that uses: mCRL2 / 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.11.025
+Normal rank
@@ Property / OpenAlex ID @@
+W2158311980
@@ Property / OpenAlex ID: W2158311980 / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterised Boolean equation systems
@@ Property / cites work: Parameterised Boolean equation systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4250361
@@ Property / cites work: Q4250361 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking processes with data
@@ Property / cites work: Model-checking processes with data / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems
+Normal rank
@@ Property / cites work @@
+Instantiation for Parameterised Boolean Equation Systems
+Normal rank
@@ Property / cites work @@
+Solving Parity Games in Big Steps
@@ Property / cites work: Solving Parity Games in Big Steps / rank @@
+Normal rank
@@ Property / cites work @@
+An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games
+Normal rank
@@ Property / cites work @@
+Q2754084
@@ Property / cites work: Q2754084 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5150133
@@ Property / cites work: Q5150133 / rank @@
+Normal rank
@@ Property / cites work @@
+A Multi-Core Solver for Parity Games
@@ Property / cites work: A Multi-Core Solver for Parity Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501540
@@ Property / cites work: Q4501540 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Parity Games in Practice
@@ Property / cites work: Solving Parity Games in Practice / rank @@
+Normal rank
@@ Property / cites work @@
+Q3614665
@@ Property / cites work: Q3614665 / rank @@
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / 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 @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching time and abstraction in bisimulation semantics
+Normal rank
@@ Property / cites work @@
+Symbolic transition graph with assignment
@@ Property / cites work: Symbolic transition graph with assignment / rank @@
+Normal rank
@@ Property / cites work @@
+Invariants for Parameterised Boolean Equation Systems
+Normal rank
@@ Property / cites work @@
+Programming languages and their definition. Selected papers ed. by C. B. Jones
+Normal rank
@@ Property / cites work @@
+Q4003036
@@ Property / cites work: Q4003036 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760241
@@ Property / cites work: Q2760241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038723
@@ Property / cites work: Q4038723 / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis Techniques for Parameterised Boolean Equation Systems
+Normal rank
@@ Property / cites work @@
+Q4518897
@@ Property / cites work: Q4518897 / rank @@
+Normal rank