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.

Linux

2021

Basic concurrency with fork() June 23, 2021
Reading and monitoring files on Linux June 19, 2021