GitHub / ChaariMahmoud / VeriSol-Extended
VeriSol Extended is an enhanced version of the original Microsoft Verisol with additional support for WebAssembly (WASM) smart contracts and modern .NET 9.0 framework.
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ChaariMahmoud%2FVeriSol-Extended
PURL: pkg:github/ChaariMahmoud/VeriSol-Extended
Stars: 0
Forks: 0
Open issues: 0
License: None
Language: C#
Size: 21.8 MB
Dependencies parsed at: Pending
Created at: about 2 months ago
Updated at: 17 days ago
Pushed at: 17 days ago
Last synced at: 17 days ago
Topics: boogie, dotnet, formal-verification, smart-contracts, smt, wasm, z3-smt-solver