formal methods

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

Installation script for tools required for E0 272 FMSE course

Formal Methods of Software Engineering (IISc Bangalore)

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

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

Formally verified cryptocurrency smart contracts using game semantics in Coq