Versions in this module Expand all Collapse all v1 v1.0.0 Mar 25, 2026 Changes in this version + func GenerateCoqSkeleton(lib *protocol.Library, name string) (string, error) + func GenerateTLAPlus(lib *protocol.Library, name string) (string, error) + type Invariant struct + Description string + Expression string + Name string + type VerificationResult struct + CounterExample string + Invariant Invariant + Satisfied bool + func CheckInvariants(lib *protocol.Library, name string, samples [][]byte) ([]VerificationResult, error)
Go to main page