F
formal methods

Projects with this topic

C

Francesco Spegni / choen

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

blockchain solidity bpmn
+ 3 more

0

Updated Dec 30, 2024

0 0 0 1

Updated Dec 30, 2024
Alan Jojo / FMSE Tools

Installation script for tools required for E0 272 FMSE course

Formal Methods of Software Engineering (IISc Bangalore)

formal methods IISC Bangalore spin
+ 4 more

1

Updated Aug 22, 2024

1 0 0 0

Updated Aug 22, 2024