Distributed and Predictable Software Model Checking (Q3075493): Difference between revisions

@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+EigenCFA
@@ Property / describes a project that uses: EigenCFA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ARMC
@@ Property / describes a project that uses: ARMC / 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-642-18275-4_24
+Normal rank
@@ Property / OpenAlex ID @@
+W3139258282
@@ Property / OpenAlex ID: W3139258282 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank
@@ Property / cites work @@
+Grammar Analysis and Parsing by Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q4530809
@@ Property / cites work: Q4530809 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstractions from proofs
@@ Property / cites work: Abstractions from proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy abstraction
@@ Property / cites work: Lazy abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754071
@@ Property / cites work: Q2754071 / rank @@
+Normal rank
@@ Property / cites work @@
+d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata
+Normal rank
@@ Property / cites work @@
+Applying Prolog to develop distributed systems
@@ Property / cites work: Applying Prolog to develop distributed systems / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Verification of Reactive Systems: Response
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+EigenCFA
@@ Property / cites work: EigenCFA / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint Solving for Interpolation
@@ Property / cites work: Constraint Solving for Interpolation / rank @@
+Normal rank
@@ Property / cites work @@
+Parallelizing the \(\text{Mur}\varphi\) verifier
@@ Property / cites work: Parallelizing the \(\text{Mur}\varphi\) verifier / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3075493