Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems (Q5458319): Difference between revisions

@@ Property / author @@
-Edmund M. Clarke
@@ Property / author: Edmund M. Clarke / rank @@
-Normal rank
@@ Property / author @@
+Edmund M. Clarke
@@ Property / author: Edmund M. Clarke / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Cadence SMV
@@ Property / describes a project that uses: Cadence SMV / 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/978-3-540-78800-3_4
+Normal rank
@@ Property / OpenAlex ID @@
+W1546036076
@@ Property / OpenAlex ID: W1546036076 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4817539
@@ Property / cites work: Q4817539 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551152
@@ Property / cites work: Q4551152 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518895
@@ Property / cites work: Q4518895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737006
@@ Property / cites work: Q4737006 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about networks with many identical finite state processes
+Normal rank
@@ Property / cites work @@
+Formal Methods in Computer-Aided Design
@@ Property / cites work: Formal Methods in Computer-Aided Design / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Local Proofs for Global Safety Properties
@@ Property / cites work: Local Proofs for Global Safety Properties / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about systems with many processes
@@ Property / cites work: Reasoning about systems with many processes / rank @@
+Normal rank
@@ Property / cites work @@
+Inferring Network Invariants Automatically
@@ Property / cites work: Inferring Network Invariants Automatically / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4787228
@@ Property / cites work: Q4787228 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754093
@@ Property / cites work: Q2754093 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769579
@@ Property / cites work: Q2769579 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804890
@@ Property / cites work: Q4804890 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Proving properties of a ring of finite-state machines
+Normal rank
@@ Property / cites work @@
+Verifying safety properties of concurrent Java programs using 3-valued logic
+Normal rank