Browsing tag: model checker  

Fiona 2.0

Fiona is a tool to automatically analyze the interactional behavior of a given oWFN.

Feb 16th 2008, 18:37 GMT