SOLC-VERIFY: A Modular Verifier for Solidity Smart Contracts

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	VSTTE (11. : 2019 : New York, NY) Verified software
1. Verfasser:	Hajdu, Ákos (VerfasserIn)
Weitere Verfasser:	Jovanović, Dejan (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
Seamless Interactive Program Verification	2020	Grebing, Sarah
Ghost Code in Action: Automated Verification of a Symbolic Interpreter	2020	Becker, Benedikt
Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain	2020	Wang, Yuepeng
SOLC-VERIFY: A Modular Verifier for Solidity Smart Contracts	2020	Hajdu, Ákos
Verifiable Homomorphic Tallying for the Schulze Vote Counting Scheme	2020	Haines, Thomas
Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer	2020	Journault, Matthieu
Quantifying Information Leakage Using Model Counting Constraint Solvers	2020	Bultan, Tevfik
Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework	2020	Chechik, Marsha
Incremental Minimization of Symbolic Automata	2020	Homburg, Jonathan
DCSynth: Guided Reactive Synthesis with Soft Requirements	2020	Wakankar, Amol
Refinement Type Contracts for Verification of Scientific Investigative Software	2020	Shinn, Maxwell
Intersection and Rotation of Assumption Literals Boosts Bug-Finding	2020	Dureja, Rohit