research
∙
07/13/2021
Injecting Finiteness to Prove Completeness for Finite Linear Temporal Logic
Temporal logics over finite traces are not the same as temporal logics o...
share
research
∙
06/17/2019
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4
The P4 programming language offers high-level, declarative abstractions ...
research
∙
07/10/2017
