Projects
Formal verification of reaction systems
Reaction systems are a formalism inspired by the functioning of living cells. They allow for specification and analysis of computational processes in which reactions operate on sets of entities (or molecules).
The behaviour of a reaction system is determined by the interactions of its reactions, which are based on the mechanisms of facilitation and inhibition. The formal treatment of reaction systems is qualitative and there is no direct representation of the number of entities involved in reactions.
This is a daemon for monitoring lease changes on OpenBSD for the specified interfaces. When a change happens it then calls a script located in /etc/dhcpleasemon. The script name should be:
lease_trigger_<interface>
The script has access to the following environment variables:
$DHCP_IFACE– interface name$DHCP_IP_ROUTE– default route for the interface$DHCP_IP_ADDR– IP address from the lease
The daemon is implemented in Rust and is available on GitHub.
Here you can find my PhD thesis and the slides I used during my public PhD defence.
Abstract
Reaction systems are a formal model inspired by the functioning of living cells. This model allows for specifying and analysing computational processes in which reactions operate on sets of molecules.
The behaviour of a reaction system is determined by the interactions of its reactions, which are based on the mechanisms of facilitation and inhibition. The formal treatment of reaction systems is qualitative and there is no direct representation of the number of molecules involved in reactions.