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
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.
Written by Norio KATO on March 26, 2007.