Towards the hierarchical verification of reactive systems (Q596025): Difference between revisions

@@ Property / cites work @@
+Q4036589
@@ Property / cites work: Q4036589 / rank @@
+Normal rank
@@ Property / cites work @@
+The connection between an event structure semantics and an operational semantics for TCSP
+Normal rank
@@ Property / cites work @@
+Property preserving abstractions for the verification of concurrent systems
+Normal rank
@@ Property / cites work @@
+Q4036555
@@ Property / cites work: Q4036555 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003036
@@ Property / cites work: Q4003036 / rank @@
+Normal rank
@@ Property / cites work @@
+Local model checking for infinite state spaces
@@ Property / cites work: Local model checking for infinite state spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Model checking the full modal mu-calculus for infinite sequential processes
+Normal rank
@@ Property / cites work @@
+Abstract Interpretation Frameworks
@@ Property / cites work: Abstract Interpretation Frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+Q4518414
@@ Property / cites work: Q4518414 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing syntactic and semantic action refinement
+Normal rank
@@ Property / cites work @@
+Q2760253
@@ Property / cites work: Q2760253 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3703299
@@ Property / cites work: Q3703299 / rank @@
+Normal rank
@@ Property / cites work @@
+Action refinement and property inheritance in systems of sequential agents
+Normal rank
@@ Property / cites work @@
+Q4229096
@@ Property / cites work: Q4229096 / rank @@
+Normal rank
@@ Property / cites work @@
+Extension of synthesis algorithm of recursive processes to \(\mu\)-calculus
+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 @@
+Q4536385
@@ Property / cites work: Q4536385 / rank @@
+Normal rank
@@ Property / cites work @@
+An improved algorithm for the evaluation of fixpoint expressions
+Normal rank
@@ Property / cites work @@
+Towards the hierarchical verification of reactive systems
+Normal rank
@@ Property / cites work @@
+Q2753759
@@ Property / cites work: Q2753759 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3730012
@@ Property / cites work: Q3730012 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030243
@@ Property / cites work: Q3030243 / rank @@
+Normal rank
@@ Property / cites work @@
+Three Partition Refinement Algorithms
@@ Property / cites work: Three Partition Refinement Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Vertical implementation
@@ Property / cites work: Vertical implementation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818812
@@ Property / cites work: Q4818812 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023900
@@ Property / cites work: Q4023900 / 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
@@ Property / cites work @@
+Q3975146
@@ Property / cites work: Q3975146 / rank @@
+Normal rank