Deductive verification of active objects with Crowbar
The work
| Authors | Eduard Kamburjan; Marco Scaletta; Nils Rollshausen |
|---|---|
| Editors | |
| Type | article |
| Year | 2023 |
| Citekey | kamburjan2023deductive |
Where it appeared
| Published in | Science of Computer Programming |
|---|---|
| Publisher | Elsevier BV |
| Volume | 226 |
| Article number | 102928 |
| Pages | 102928 |
Identifiers
| DOI | 10.1016/j.scico.2023.102928 |
|---|---|
| OpenAlex | W4320339914 |
| ISSN | 0167-6423 |
Access
| Landing page | https://doi.org/10.1016/j.scico.2023.102928 |
|---|
Empty on purpose
| isbn, issue, school |
Related
| Distinct from | wolf2021gobra |
|---|
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
Abstract
We present Crowbar, a deductive verification tool for the Active Object language ABS. Crowbar implements novel specification approaches specifically for distributed systems. For user interaction, counterexamples are presented as executable programs. Crowbar has a modular structure to explore further approaches, and was applied in the largest Active Objects verification study.
A copy is held
pdf, 490.2 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via crossref |
|---|---|
| Added | 2026-09-03 19:14 UTC |
| Approved by | a person 2026-09-04 18:18 UTC |
Filed under
Cite it as
@article{kamburjan2023deductive,
title = {Deductive verification of active objects with Crowbar},
author = {Eduard Kamburjan and Marco Scaletta and Nils Rollshausen},
year = {2023},
journal = {Science of Computer Programming},
publisher = {Elsevier BV},
volume = {226},
pages = {102928},
issn = {0167-6423},
articleno = {102928},
doi = {10.1016/j.scico.2023.102928},
}
This record lives at https://refs.drheap.org/kamburjan2023deductive/ and will keep doing so.