Please use this identifier to cite or link to this item:
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
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 SizeFormat 
AbstChile.pdf517.33 kBAdobe PDFembargoedAccess

Formato BibTex MendeleyEndnote Degois 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.