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