Projects in Awesome Lists tagged with gsn

A curated list of projects in awesome lists tagged with gsn .

• Sort

  • Recently synced
  • Stars

https://github.com/mbeddr/mbeddr.formal

FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.

architecture contract-based-design gsn interface-specification jetbrains-mps mbeddr nusmv prism requirements-specification safety-assurance spin stpa z3

Last synced: 10 Mar 2025

https://github.com/perfectmak/sendngntdapp

Send NGNT without ETH using Gas Station Network

dapp erc20 ethereum gsn react

Last synced: 28 Feb 2025

https://github.com/vu-isis/gsn-domain

GSN based Assurance DSL and Graphical Editor for VS Code

assurance dsl gsn vscode-extension

Last synced: 03 Apr 2025