Property preserving abstractions for the verification of concurrent systems (Q1346649): Difference between revisions

@@ Property / author @@
-Susanne Graf
@@ Property / author: Susanne Graf / rank @@
-Normal rank
@@ Property / author @@
-Ahmed Bouajjani
@@ Property / author: Ahmed Bouajjani / rank @@
-Normal rank
@@ Property / author @@
-Saddek Bensalem
@@ Property / author: Saddek Bensalem / rank @@
-Normal rank
@@ Property / author @@
+Susanne Graf
@@ Property / author: Susanne Graf / rank @@
+Normal rank
@@ Property / author @@
+Ahmed Bouajjani
@@ Property / author: Ahmed Bouajjani / rank @@
+Normal rank
@@ Property / author @@
+Saddek Bensalem
@@ Property / author: Saddek Bensalem / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UNITY
@@ Property / describes a project that uses: UNITY / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The existence of refinement mappings
@@ Property / cites work: The existence of refinement mappings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036555
@@ Property / cites work: Q4036555 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Constructive versions of Tarski's fixed point theorems
+Normal rank
@@ Property / cites work @@
+A galois connection calculus for abstract interpretation
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Q4692502
@@ Property / cites work: Q4692502 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028636
@@ Property / cites work: Q4028636 / rank @@
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / 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 calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Galois Connexions
@@ Property / cites work: Galois Connexions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3746875
@@ Property / cites work: Q3746875 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4175259
@@ Property / cites work: Q4175259 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336680
@@ Property / cites work: Q3336680 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic can be more expressive
@@ Property / cites work: Temporal logic can be more expressive / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01384313
+Normal rank
@@ Property / OpenAlex ID @@
+W1987073197
@@ Property / OpenAlex ID: W1987073197 / rank @@
+Normal rank