DogWood: Monitoring Policies using First Order Temporal Logic (via agnishom) — discussion
#formalmethods #programming
