GitHub repository: wimmers/munta
Primary language: Isabelle
Created: 2017-06-13T15:02:37Z
Description: Fully verified model checker for realtime systems