img img

A Java-based server and GUI for formally verified process composition using the WorkflowFM Reasoner.

Client DocsServer DocsSource

About

Docs are under construction...

Authors

Maintainer

Petros Papapanagiotou - Home page - Email - Twitter

Contributors

A big thank you to the following contributors in order of appearance:

Groups & Organizations

Artificial Intelligence Modelling Lab
Artificial Intelligence and its Applications Institute
School of Informatics, University of Edinburgh

References

Please cite the following publication in reference to this project:

Sample of other relevant references:

License

Distributed under the Apache 2.0 license. See LICENSE for more information.

Copyright © 2009-2021 The University of Edinburgh and contributors