BioPSy is a tool that performs parameter set synthesis on biological models specified using the Systems Biology Markup Language (SBML) and corresponding time series data. BioPSy utilises the SMT solver, dReal, to determine the range of acceptable parameter values within a given domain. A model using parameter sets computed with BioPSy is formally and numerically guaranteed to satisfy the desired behaviour.
The latest version of BioPSy including all required binaries can be downloaded from the releases page. BioPSy is a Java application and requires Java JRE 6 or higher to run.
BioPSy v1.2.1 is the stable release, it introduces several features and fixes many bugs.