The Kind 2 Model Checker

Adrien Champion
Adrien Champion
Christoph Sticksel
Christoph Sticksel

CAV, pp. 510-517, 2016.

Cited by: 50|Bibtex|Views14|Links
EI

Abstract:

Kind 2 is an open-source, multi-engine, SMT-based model checker for safety properties of finite- and infinite-state synchronous reactive systems. It takes as input models written in an extension of the Lustre language that allows the specification of assume-guarantee-style contracts for system components. Kind 2 was implemented from scrat...More

Code:

Data:

Your rating :
0

 

Tags
Comments