gitlab.com topics: Model Checking
dqalvarez/smcplaus
A symbolic model checker for the single-agent plausibility models of dynamic epistemic logic
Last synced at: 3 months ago - Stars: 0 - Forks: 0
korovin/iprover
iProver -- a theorem prover for first-order logic with support for arithmetical reasoning.
Last synced at: about 2 years ago - Stars: 4 - Forks: 5
zhoujiagen/learning-algorithms
Playground of Algorithms.
Last synced at: about 2 years ago - Stars: 0 - Forks: 0
mchalupa/bubaak
Bubaak - a tool of indeterminate structure that scares children and makes adults nervous (or laughing).
Last synced at: about 2 years ago - Stars: 0 - Forks: 1
vnv-tools/STPL
STPL is a monitoring tool that supports Spatio Temporal Perception Logic to formalize perception systems requirements.
Last synced at: over 2 years ago - Stars: 3 - Forks: 1
francescoracciatti/mechanoid
Turns the abstract model of a WSN into a fully working network model.
Last synced at: over 2 years ago - Stars: 0 - Forks: 0