F
formal methods

Projects with this topic

View FMSE Tools project

Alan Jojo / FMSE Tools

IISc Bangalore - FMSE tools installation script

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

formal methods IISC Bangalore spin rodin afl vcc jpf

1

Updated Oct 02, 2025

1 0 0 0

Updated Oct 02, 2025
View choen project

Francesco Spegni / choen

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

blockchain solidity bpmn formal methods security monitoring

0

Updated Aug 29, 2025

0 0 0 1

Updated Aug 29, 2025