model checking

Dynamic Symbolic Verification of MPI Programs

In FM 2018

Zeus: Analyzing Safety of Smart Contracts.

In NDSS 2018

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.