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

© 2026 Artur Meski. All rights reserved.

Reaction Systems

2025

Model checking for distributed reaction systems with temporal-epistemic properties November 5, 2025

2015

Model checking temporal properties of reaction systems August 20, 2015