Fossil 2.0은 동적 모델의 다양한 속성(안정성, 안전성, 도달-회피, 도달-유지-회피 등)을 검증하고 제어기를 합성할 수 있는 강력한 도구이다.
차등 프라이버시 노이즈와 동적 제어기를 동시에 설계하여 시스템 성능 저하를 최소화하고 프라이버시를 최대화한다.