FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
-
Updated
Jun 13, 2024 - JetBrains MPS
FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
GSN based Assurance DSL and Graphical Editor for VS Code
Badge NFT smart contract ready to be used within Gas Station Network - https://gsn.openzeppelin.com
Global Sensor Networks
gDAI - Gas less DAI transfers by using GSN, Fulcrum and KyberNetwork
Contract implementation of a GSN abstracted ERC20 Token
A PoC using truffle react box, gsn and rsk
In this program I use the Visitor Pattern to implement the following feature for a GSN model: Print all GSN elements in a top-down strategy (Starting with a root Goal and ending with all solution nodes) based on the GSN metamodel.
Add a description, image, and links to the gsn topic page so that developers can more easily learn about it.
To associate your repository with the gsn topic, visit your repo's landing page and select "manage topics."