research
∙
06/04/2023
Towards Efficient Controller Synthesis Techniques for Logical LTL Games
Two-player games are a fruitful way to represent and reason about severa...
share
research
∙
12/15/2022
BNSynth: Bounded Boolean Functional Synthesis
The automated synthesis of correct-by-construction Boolean functions fro...
research
∙
07/08/2021
GenSys: A Scalable Fixed-point Engine for Maximal Controller Synthesis over Infinite State Spaces
The synthesis of maximally-permissive controllers in infinite-state syst...
research
∙
10/06/2020
Static Race Detection for RTOS Applications
We present a static analysis technique for detecting data races in Real-...
research
∙
09/06/2020
A Thread-Local Semantics and Efficient Static Analyses for Race Free Programs
Data race free (DRF) programs constitute an important class of concurren...
research
∙
01/25/2020
Verification of a Generative Separation Kernel
We present a formal verification of the functional correctness of the Mu...
research
∙
12/26/2017