Formal Semantics and Verification of Network-Based Biocomputation Circuits.
Michelle Aluf-MedinaTill KortenAvraham RavivDan V. Nicolau Jr.Hillel KuglerPublished in: VMCAI (2021)
Keyphrases
- formal semantics
- asynchronous circuits
- logical language
- er model
- logical reasoning
- first order logic
- modeling language
- modelling language
- operational semantics
- formal language
- model checking
- owl dl ontology
- epistemic logic
- formal verification
- software development
- ontology languages
- speech acts
- description logics
- case study