Skip to content

@kind2-mc Kind 2 Model Checker

Users following kind2-mc

@ioda-idg
ioda ioda-idg
@aogrcs
wenlong aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
@Atmanuclear
Atmanuclear