FOAM tool

Formal Verification of Annotated Textual Use-Cases

For more information see project wiki.

Example case study

FOAM tool has been used to verify Cloud provider case study.

Name		Name	Last commit message	Last commit date
Latest commit History 404 Commits
.settings/gradle		.settings/gradle
cnf		cnf
eclipse.settings		eclipse.settings
org.foam.bootstrap		org.foam.bootstrap
org.foam.cli		org.foam.cli
org.foam.models		org.foam.models
org.foam.orion.client		org.foam.orion.client
org.foam.orion.server.proof		org.foam.orion.server.proof
org.foam.orion.server		org.foam.orion.server
org.foam.transform		org.foam.transform
org.foam.xtext.ctl		org.foam.xtext.ctl
org.foam.xtext.ltl		org.foam.xtext.ltl
org.foam.xtext.plogic		org.foam.xtext.plogic
.gitignore		.gitignore
.project		.project
LICENSE.txt		LICENSE.txt
README.md		README.md
build.gradle		build.gradle
settings.gradle		settings.gradle