sybila/BioDiVineModels
Examples of models and properties supported by biodivine ctl and ltl model checkers.
Public GitHub Catalog
Discovered Sep 24, 2026
sybila / LTL-editor
Graphical editor for visual specification of LTL properties based on time series.
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.
#1798071GitHub System ID
sybilaOrganization / User
PublicVisibility
ActiveCatalog Status
More from sybila
sybila/biodivine
A toolset for manipulation, analysis and verification of biological models.
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.