Verification for everyone? An overview of dynamic logic

DOI10.1007/978-3-030-19432-1_2zbMath1522.03101OpenAlexW2941429735MaRDI QIDQ6074988

Alexandre Madeira

Publication date: 20 October 2023

Published in: Molecular Logic and Computational Synthetic Biology (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10773/26002

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) General biology and biomathematics (92B05) Other applications of logic (03B80)

This page was built for publication: Verification for everyone? An overview of dynamic logic