Skip to the content.
DRV Tutorial
FieldCalc++, an efficient C++14 implementation of the Field Calculus
Home
Getting Started
References
Distributed Runtime Verification in Proximity-based Networks: A Tutorial on the Aggregate Programming Approach
WORK IN PROGRESS