@inbook{045a7fcb980546ae9e66607bface8947,
title = "Reasoning About Active Objects: A Sound and Complete Assertional Proof Method",
abstract = "We present a novel assertional proof method for reasoning about global invariant properties of active objects in the context of the Abstract Behavioral Specification (ABS) language. The main result of this paper is a formal justification of the proof method which establishes both its soundness and completeness with respect to a formally defined operational trace semantics.",
author = "Boer, {Frank S. de} and Gouw, {Stijn de}",
year = "2022",
month = jul,
day = "4",
doi = "10.1007/978-3-031-08166-8_9",
language = "English",
isbn = "9783031081651",
volume = "13360",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "173--192",
editor = "Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Johnsen, {Einar Broch}",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
edition = "1",
}