Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

5

IBMSJ
2002

favoriteEmaildiscussreport

36views more IBMSJ 2002»

FLAVERS: A finite state verification technique for software systems

13 years 5 months ago

FLAVERS: A finite state verification technique for software systems

Download laser.cs.umass.edu

Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Oste

Real-time Traffic

IBMSJ 2002 |

claim paper

Related Content

» Verifying properties of process definitions

» Efficient Composite Data Flow Analysis Applied to Concurrent Programs

» Improving Efficiency of Symbolic Model Checking for StateBased System Requirements

» Applying Extended Finite State Machines in Software Testing of Interactive Systems

» Modular and Incremental Analysis of Concurrent Software Systems

» Efficient and Robust Music Identification With Weighted FiniteState Transducers

» Perspectives in Probabilistic Verification

» Model Classifications and Automated Verification

» RewritingBased Techniques for Runtime Verification

Post Info
More Details (n/a)

Added	19 Dec 2010
Updated	19 Dec 2010
Type	Journal
Year	2002
Where	IBMSJ
Authors	Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil

Comments (0)