Sciweavers

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

30

TAPSOFT
1997
Springer

favoriteEmaildiscussreport

138views Software Engineering» more TAPSOFT 1997»

A Comparison of Modular Verification Techniques

14 years 9 months ago

A Comparison of Modular Verification Techniques

Download www.configit.com

Henrik Reif Andersen, Jørgen Staunstrup, Ni

Real-time Traffic

Software Engineering | TAPSOFT 1997 |

claim paper

Related Content

» A Unified Framework for Verification Techniques for Object Invariants

» A comparison of three verification techniques directed testing pseudorandom testing and pr...

» A Case Study in the Mechanical Verification of Fault Tolerance

» Continual hashing for efficient finegrain state inconsistency detection

» Automatic generation of assumptions for modular verification of software specifications

» Modular System Verification by Inference Testing and Reachability Analysis

» Modular Verification of Open Features Using ThreeValued Model Checking

» Modular verification of a nonblocking stack

» Towards Modularized Verification of Distributed TimeTriggered Systems

Post Info
More Details (n/a)

Added	08 Aug 2010
Updated	08 Aug 2010
Type	Conference
Year	1997
Where	TAPSOFT
Authors	Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti

Comments (0)