WasmCert icon indicating copy to clipboard operation
WasmCert copied to clipboard

verified publisher icon Huxpro
→

Metadata

A (in-development) Coq mechanization of WebAssembly specification.

WasmCert

A (in-development) Coq mechanization of WebAssembly specification.

For more background information, see the project report literature Xuan Huang. "A Mechanized Formalization of the WebAssembly Specification in Coq", in RIT Computer Science, 20191 and/or its poster presentation.

The report literature is also indexed in Google Scholar and Semantic Scholar thanks to citations.

← Metadata

20
Stars
0
Forks
Watchers

Owner

verified publisher icon Huxpro

Metadata

A (in-development) Coq mechanization of WebAssembly specification.

Back