Reasoning About Active Objects: A Sound and Complete Assertional Proof Method

Frank S. de Boer, Stijn de Gouw

Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

Original languageEnglish
Title of host publicationThe Logic of Software. A Tasting Menu of Formal Methods
Subtitle of host publication Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
EditorsWolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen
Place of PublicationCham
PublisherSpringer
Pages173-192
Number of pages20
Volume13360
Edition1
ISBN (Electronic)978-3-031-08166-8
ISBN (Print)978-3-031-08165-1
DOIs
Publication statusPublished - 4 Jul 2022

Publication series

SeriesLecture Notes in Computer Science
Volume13360
ISSN0302-9743

Cite this