Utilize este identificador para referenciar este registo:
http://hdl.handle.net/10773/26002
Título: | Verification for Everyone? An Overview of Dynamic Logic |
Autor: | Madeira, Alexandre |
Palavras-chave: | Dynamic Logic Formal Methods |
Data: | 2019 |
Editora: | Springer |
Resumo: | 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 |
Aparece nas coleções: | CIDMA - Capítulo de livro AGG - Capítulo de livro |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
AbstChile.pdf | 517.33 kB | Adobe PDF | Ver/Abrir |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.