gitlab.com topics: formal methods
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
egrieco/rocket-surgery
A discussion of next generation technologies, especially with regard to software and formal methods.
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
legicash/legicash-contracts
Formally verified cryptocurrency smart contracts using game semantics in Coq
Last synced at: over 2 years ago - Stars: 0 - Forks: 0