F
formal methods
Projects with this topic
-
STPL is a monitoring tool that supports Spatio Temporal Perception Logic to formalize perception systems requirements.
Updated -
A discussion of next generation technologies, especially with regard to software and formal methods.
Updated -
Formally verified cryptocurrency smart contracts using game semantics in Coq
Updated