utwente-fmt / ltsmin Star 60 Code Issues Pull requests The LTSmin model checking toolset promela model-checking petri-net model-checker dve pnml linear-temporal-logic mu-calculus computation-tree-logic Updated Oct 31, 2024 C
Montimage / mmt-security Star 6 Code Issues Pull requests A linear-temporal-logic rule-based engine for the detection of cyber attacks and protocol anomalies. network-security linear-temporal-logic Updated May 26, 2025 C
eliyaoo32 / DepSynt Star 3 Code Issues Pull requests Tools for dependent variables in Linear Temporal Logic (LTL), including: Finding Dependent variables, Synthesis exploiting dependency. https://arxiv.org/abs/2401.11290 formal-methods dependency linear-temporal-logic reactive-synthesis Updated Jan 2, 2024 C