Artur Meski

software reliability, testing & verification, PhD in formal methods

About
Contact
Projects
ReactICS
DHCP Lease Monitor
PhD Thesis
Selected Papers
Model checking for distributed reaction systems with temporal-epistemic properties
Model checking temporal properties of reaction systems
Posts
most recent
Limiting resources on FreeBSD
Public VMs on OpenBSD
Basic concurrency with fork()
Quick start: virtual machines on OpenBSD
Reading and monitoring files on Linux

Rctl