Trop, Pruner & Hu, P.C.
Methodology and tools for tabled-based protocol specification and model generation
In one embodiment, the present invention includes a method for associating and storing a code fragment for each cell of a table for a protocol specification in a semantic mapping corresponding to the table, and automatically generating a formal model for the protocol specification using the table and the semantic mapping. Other embodiments are described and claimed.
Intel Corporation
H
H04L
inventional
Ching-Tsun Phanindra K. Seungjoon
Chou Mannava Park