verismart

There are 2 repositories under verismart topic.

clemevi/cseqGui
CseqGUI is a User Friendly Python Interface for Lazycseq tool with Counterexample Visualization.
Language:Python0 2 01
MultiTagging/MultiTagging_Demo
MultiTagging Demo using 6 smart contract analsysis tools
Language:Jupyter Notebook0 0