An Example of Using the Agda's SMV Plug-in

About this Plug-in

The Agda's SMV Plug-in provides an access to the NuSMV model checker from Agda. Note that this plugin is in a premature phase of development and has limitations. You must install NuSMV to use this plugin from Agda.

Files


Written by Norio KATO on March 26, 2007.