Verification of message sequence charts

Number of patents in Portfolio can not be more than 2000

United States of America Patent

PATENT NO 6346879
SERIAL NO

09565394

Stats

ATTORNEY / AGENT: (SPONSORED)

Importance

Loading Importance Indicators... loading....

Abstract

See full text

A method for checking a property of a system modeled with a hierarchical message sequence chart is provided. To check a property of the modeled system, a temporal logic causality specification is defined. The specification is translated to a specification automaton, and an implementation automaton is constructed from the hierarchical message sequence chart. The intersection of the automata are then checked for emptiness.

Loading the Abstract Image... loading....

First Claim

See full text

Family

Loading Family data... loading....

Patent Owner(s)

Patent OwnerAddress
LUCENT TECHNOLOGIES INC600 MOUNTAIN AVENUE MURRAY HILL NJ 07974-0636

International Classification(s)

  • [Classification Symbol]
  • [Patents Count]

Inventor(s)

Inventor Name Address # of filed Patents Total Citations
Peled, Doron A Berkeley Heights, NJ 7 127

Cited Art Landscape

Load Citation

Patent Citation Ranking

Forward Cite Landscape

Load Citation