FoPA
Formal model checking based pathway analysis (FoPA) - tool for identification of perturbed signaling pathways in clinical conditions using formal methods.
Topics
Details
- Maturity:
- Mature
- Cost:
- Free of charge
- Tool Type:
- command-line tool
- Operating Systems:
- Linux, Windows, Mac
- Programming Languages:
- Python
- Added:
- 6/21/2019
- Last Updated:
- 6/16/2020
Operations
Documentation
Links
Issue tracker
https://github.com/fmansoori/FoPA/issues