The Correctness-by-Construction tutorial focuses on a structured programming approach for correct software development. Besides functional correctness, also non-functional properties such as security ...

Inspired by the main work in biomolecular logic programming, we present a new encoding scheme for facts, rules, and queries to implement backward/forward chaining inference paths via catalytic DNA ...