{
KIND
}
K-induction based model checker
Lustre Benchmarks
The following zip files contains Lustre benchmarks used in our experimental evaluations.
Lustre benchmarks mentioned in
[HT08]
:
download
Lustre benchmarks without duplicates:
download
KIND performance
Kind-AI performance mentioned in
[GKT13]
:
download
PKIND performance mentioned in
[KGWT12]
:
download
PKIND performance mentioned in
[KYT11]
:
download 1
|
download 2
.
KIND-INV performance mentioned in
[KYT11]
:
download
KIND performance mentioned in
[HT08]
:
download
Home
People
Download
Papers
Experimental results
Contact