Extracting models from design documents with mapster

Authors:
David James;Tim Leonard;John O'Leary;Murali Talupur;Mark R. Tuttle
Affiliations:
Palo Alto, CA, USA;Intel, Hudson, MA, USA;Intel, Hudson, MA, USA;Intel, Hudson, MA, USA;Intel, Hudson, MA, USA
Venue:
Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing
Year:
2008

Citing 2
Cited 0

Experience with Applying Formal Methods to Protocol Specification and System Architecture

Formal Methods in System Design
Better Verification Through Symmetry

CHDL '93 Proceedings of the 11th IFIP WG10.2 International Conference sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC on Computer Hardware Description Languages and their Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

We cannot apply PODC methodologies to industrial designs without formal models of the designs. Formal models are usually hard to find. We have built a tool that extracts formal models directly from design documents.