Abstraction in Fixpoint Logic (Q5277894): Difference between revisions

@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5692280
@@ Property / cites work: Q5692280 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760241
@@ Property / cites work: Q2760241 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems
+Normal rank
@@ Property / cites work @@
+Q4536712
@@ Property / cites work: Q4536712 / rank @@
+Normal rank
@@ Property / cites work @@
+An Overview of the mCRL2 Toolset and Its Recent Advances
+Normal rank
@@ Property / cites work @@
+Proof Graphs for Parameterised Boolean Equation Systems
+Normal rank
@@ Property / cites work @@
+Q4884237
@@ Property / cites work: Q4884237 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+An abstract interpretation toolkit for \(\mu\)CRL
@@ Property / cites work: An abstract interpretation toolkit for \(\mu\)CRL / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing disjunctive modal transition systems with an one-selecting variant
+Normal rank
@@ Property / cites work @@
+Consistent Consequence for Boolean Equation Systems
+Normal rank
@@ Property / cites work @@
+Q4791848
@@ Property / cites work: Q4791848 / 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 @@
+Parameterised Boolean equation systems
@@ Property / cites work: Parameterised Boolean equation systems / 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 @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis Techniques for Parameterised Boolean Equation Systems
+Normal rank
@@ Property / cites work @@
+Invariants for parameterised Boolean equation systems
+Normal rank
@@ Property / cites work @@
+Verification of reactive systems via instantiation of parameterised Boolean equation systems
+Normal rank
@@ Property / cites work @@
+Introduction to Bisimulation and Coinduction
@@ Property / cites work: Introduction to Bisimulation and Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+-valued abstraction: More precision at less cost
@@ Property / cites work: 3-valued abstraction: More precision at less cost / rank @@
+Normal rank
@@ Property / cites work @@
+An automata theoretic decision procedure for the propositional mu- calculus
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Pushdown processes: Games and model-checking
@@ Property / cites work: Pushdown processes: Games and model-checking / rank @@
+Normal rank
@@ Property / cites work @@
+Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems - FORTE 2005
+Normal rank
@@ Property / cites work @@
+Infinite games on finitely coloured graphs with applications to automata on infinite trees
+Normal rank