Please use this identifier to cite or link to this item:
|Title:||Verification for Everyone? An Overview of Dynamic Logic|
|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.|
|Appears in Collections:||CIDMA - Capítulo de livro|
AGG - Capítulo de livro
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.