Dynamic Logic. New Trends and Applications
Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings
Published on 14. January 2020
Book
Paperback/Softback
X, 227 pages
978-3-030-38807-2 (ISBN)
Description
This book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI 2019, held in Porto, Portugal in October 2019.
The workshop was held in Porto, Portugal, on October 9, 2019, as part of the Formal Methods Week which hosted the 3rd World Congress on Formal Methods. The 12 full papers presented together with 2 short papers were carefully reviewed and selected from 26 submissions. The workshop is based on the project DaLí - Dynamic logics for cyber-physical systems: towards contract based design.
More details
Series
Edition
2020 ed.
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Illustrations
455 s/w Abbildungen, 4 farbige Abbildungen
X, 227 p. 459 illus., 4 illus. in color.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 14 mm
Weight
371 gr
ISBN-13
978-3-030-38807-2 (9783030388072)
DOI
10.1007/978-3-030-38808-9
Schweitzer Classification
Other editions
Additional editions
Luís Soares Barbosa | Alexandru Baltag
Dynamic Logic. New Trends and Applications
Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings
E-Book
01/2020
Springer
€53.49
Available for download
Content
Logic and verification.- Dynamic logics.-Modal and temporal logics.-Epistemic logics.- Program semantics.- Program reasoning Pre- and post- conditions.- Program verification.