GitHub repository: khovanskiy/verification-course
Primary language: C
Created: 2017-05-24T12:17:21Z
Description: Верификатор автоматов Харела с помощью LTL формул