search

alex-ren / MTVeri

Model Checking and Type Checking Based Program Verification
0 stars 0 forks source link

BIP #2

Open githwxi opened 9 years ago

githwxi commented 9 years ago

The BIP language at verimag:

http://www-verimag.imag.fr/~sifakis/?link=BIP