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 |
|---|
Settled
| Isbn | A journal article has no isbn. The record carries the journal's issn and locates the article by volume 226 and article number 102928. |
|---|---|
| Issue | Science of Computer Programming 226 carries no issue number for this article: the copy's own header reads 'Science of Computer Programming 226 (2023) 102928', volume and article number with no issue between them. Elsevier numbers articles rather than paginating this volume, which is why pages and article_number are both 102928. |
| School | A journal article has no school; that field belongs to a thesis. |
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.