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.

Openbsd

2021

Public VMs on OpenBSD July 28, 2021
Quick start: virtual machines on OpenBSD June 19, 2021