Ce projet est une bibliothèque Julia dédiée à la simulation, l'inférence statistique et la vérification de chaînes de Markov à temps continu. Il permet de modéliser des réseaux de réactions chimiques et des réseaux de Petri stochastiques, tout en offrant des méthodes d'approximation bayésienne pour l'analyse de systèmes dynamiques complexes. Les outils implémentés facilitent l'étude des processus stochastiques dans des domaines comme la biologie des systèmes ou la chimie computationnelle.

Outil dédié à l'inférence de paramètres via l'algorithme d'approximation du bruit linéaire filtré pour le calcul de vraisemblance. Permet de modéliser et analyser des processus stochastiques en utilisant des méthodes statistiques avancées pour des applications en science des données ou en physique théorique.