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

Frank S. de Boer; Stijn de Gouw

doi:10.1007/978-3-031-08166-8_9

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

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

Original language	English
Title of host publication	The 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
Editors	Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen
Place of Publication	Cham
Publisher	Springer
Pages	173-192
Number of pages	20
Volume	13360
Edition	1
ISBN (Electronic)	978-3-031-08166-8
ISBN (Print)	978-3-031-08165-1
DOIs	https://doi.org/10.1007/978-3-031-08166-8_9
Publication status	Published - 4 Jul 2022

Publication series

Series	Lecture Notes in Computer Science
Volume	13360
ISSN	0302-9743

Access to Document

10.1007/978-3-031-08166-8_9

Cite this

Boer, F. S. D., & Gouw, S. D. (2022). Reasoning About Active Objects: A Sound and Complete Assertional Proof Method. In W. Ahrendt, B. Beckert, R. Bubel, & E. B. Johnsen (Eds.), The Logic of Software. A Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday (1 ed., Vol. 13360, pp. 173-192). Springer. Lecture Notes in Computer Science Vol. 13360 https://doi.org/10.1007/978-3-031-08166-8_9

Boer, Frank S. de ; Gouw, Stijn de. / Reasoning About Active Objects: A Sound and Complete Assertional Proof Method. The Logic of Software. A Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday. editor / Wolfgang Ahrendt ; Bernhard Beckert ; Richard Bubel ; Einar Broch Johnsen. Vol. 13360 1. ed. Cham : Springer, 2022. pp. 173-192 (Lecture Notes in Computer Science, Vol. 13360).

@inproceedings{045a7fcb980546ae9e66607bface8947,

title = "Reasoning About Active Objects: A Sound and Complete Assertional Proof Method",

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 = "978-3-031-08165-1",

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 = "The Logic of Software. A Tasting Menu of Formal Methods",

edition = "1",

}

Boer, FSD & Gouw, SD 2022, Reasoning About Active Objects: A Sound and Complete Assertional Proof Method. in W Ahrendt, B Beckert, R Bubel & EB Johnsen (eds), The Logic of Software. A Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday. 1 edn, vol. 13360, Springer, Cham, Lecture Notes in Computer Science, vol. 13360, pp. 173-192. https://doi.org/10.1007/978-3-031-08166-8_9

Reasoning About Active Objects: A Sound and Complete Assertional Proof Method. / Boer, Frank S. de; Gouw, Stijn de.
The Logic of Software. A Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday. ed. / Wolfgang Ahrendt; Bernhard Beckert; Richard Bubel; Einar Broch Johnsen. Vol. 13360 1. ed. Cham: Springer, 2022. p. 173-192 (Lecture Notes in Computer Science, Vol. 13360).

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

TY - GEN

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

AU - Boer, Frank S. de

AU - Gouw, Stijn de

PY - 2022/7/4

Y1 - 2022/7/4

U2 - 10.1007/978-3-031-08166-8_9

DO - 10.1007/978-3-031-08166-8_9

M3 - Conference Article in proceeding

SN - 978-3-031-08165-1

VL - 13360

T3 - Lecture Notes in Computer Science

SP - 173

EP - 192

BT - The Logic of Software. A Tasting Menu of Formal Methods

A2 - Ahrendt, Wolfgang

A2 - Beckert, Bernhard

A2 - Bubel, Richard

A2 - Johnsen, Einar Broch

PB - Springer

CY - Cham

ER -

Boer FSD, Gouw SD. Reasoning About Active Objects: A Sound and Complete Assertional Proof Method. In Ahrendt W, Beckert B, Bubel R, Johnsen EB, editors, The Logic of Software. A Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday. 1 ed. Vol. 13360. Cham: Springer. 2022. p. 173-192. (Lecture Notes in Computer Science, Vol. 13360). doi: 10.1007/978-3-031-08166-8_9