Specification and verification for concurrent systems with graphical and textual editors
Number of patents in Portfolio can not be more than 2000
United States of America Patent
Stats
-
May 7, 2002
Grant Date -
N/A
app pub date -
Jul 2, 1997
filing date -
Jul 2, 1996
priority date (Note) -
In Force
status (Latency Note)
Importance
Abstract
Software for, and a method of using a computer for, specifying and verifying synchronous and asynchronous concurrent systems. The method comprises specifying software in a design language possessing a formal semantics; simulating the design in accordance with its formal semantics; verifying that the design satisfies predetermined requirements; generating test cases and; generating software code. The method includes the steps of inputting by a graphical editor and a textual editor a formal design of the software, inputting desired properties as formulas in temporal logic, and verifying automatically if the formal design satisfies the desired properties.
First Claim
Family
International Classification(s)
Cited Art Landscape
Patent Citation Ranking
Recipient Email Address
Recipient Email Address
Comment
Recipient Email Address
Add to Portfolio(s)
To add this patent to one, or more, of your portfolios, simply click the add button.
This Patent is in these Portfolios:
Add to additional portfolios:
Last Refreshed On:
Changes done successfully