F

formal methods

Ensure correct executions of BPMN Choreographys by generating Solidity enforcing monitors that are deployed on Ethereum-based blockchains

STPL is a monitoring tool that supports Spatio Temporal Perception Logic to formalize perception systems requirements.

IISc Bangalore - FMSE tools installation script

E0 272: Formal Methods of Software Engineering (2024 Jan)

Project for the Formal Methods for Cyber-Physical System, held at the university of Padua, master Degree Course in Computer Science

A discussion of next generation technologies, especially with regard to software and formal methods.

Formally verified cryptocurrency smart contracts using game semantics in Coq