research
∙
05/13/2020
Low Cost High Integrity Platform
Developing safety critical applications often require rare human resourc...
share
research
∙
11/20/2018
FAR-Cubicle - A new reachability algorithm for Cubicle
We present a fully automatic algorithm for verifying safety properties o...
research
∙
05/15/2018
