Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/26002
Title: | Verification for Everyone? An Overview of Dynamic Logic |
Author: | Madeira, Alexandre |
Keywords: | Dynamic Logic Formal Methods |
Issue Date: | 2019 |
Publisher: | Springer |
Abstract: | This note, reporting the homonym keynote presented in the International Symposium on Molecular Logic and Computational Synthetic Biology 2018, traces an informal roadmap on Dynamic Logic (DL) field, focusing on its versatility and resilience to be adjusted and adopted in a wide class of application domains and computational paradigms. The exposition argues the room for developments on tagging DL to the analysis of synthetic biologic domain. |
Peer review: | yes |
URI: | http://hdl.handle.net/10773/26002 |
DOI: | 10.1007/978-3-030-19432-1_2 |
ISBN: | 978-3-030-19431-4 |
Appears in Collections: | CIDMA - Capítulo de livro AGG - Capítulo de livro |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
AbstChile.pdf | 517.33 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.