model checking

Dynamic Symbolic Verification of MPI Programs
In FM 2018
PDF Cite
Dynamic Symbolic Verification of MPI Programs
Zeus: Analyzing Safety of Smart Contracts.
In NDSS 2018
PDF Cite
Zeus: Analyzing Safety of Smart Contracts.
Unfolding-based Partial Order Reduction
Click the Cite button above to demo the feature to enable visitors to import publication metadata into their reference management software. Click the Slides button above to demo Academic’s Markdown slides feature.
PDF Cite Project