sybila/biodivine
A toolset for manipulation, analysis and verification of biological models.
Public GitHub Catalog
Discovered Oct 3, 2026
sybila / BioDiVineModels
Examples of models and properties supported by biodivine ctl and ltl model checkers.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#28566696GitHub System ID
sybilaOrganization / User
PublicVisibility
ActiveCatalog Status
More from sybila
sybila/biodivineCTL
Public repository.
sybila/huctl
HUCTLp is a temporal logic (based on CTL) designed for analysis of dynamical systems. This repository provides a format for representing HUCTLp formulas as text and as JVM objects.
sybila/NewBioDiVinE
New version of BioDiVinE-1.0 and parameter estimator PEPMC with piece-wise multi-affine abstraction algorithm and new light CLI