Sciweavers

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

9

PODC
1996
ACM

favoriteEmaildiscussreport

107views Distributed and Parallel Com...» more PODC 1996»

Automated Logical Verification Based on Trace Abstractions

13 years 8 months ago

Automated Logical Verification Based on Trace Abstractions

Download www.brics.dk

95-53Klarlundetal.:AutomatedLogicalVerificationbasedonTraceAbstractions BRICSBasic Research in Computer Science Automated Logical Verification Trace Abstractions Nils Klarlund Mogens Nielsen Kim Sunesen BRICS Report Series RS-95-53 ISSN 0909-0878 November 1995

Nils Klarlund, Mogens Nielsen, Kim Sunesen

Real-time Traffic

BRICS Report Series | Distributed And Parallel Computing | Mogens Nielsen Kim | PODC 1996 | Trace Abstractions Nils |

claim paper

Related Content

» Guiding simulation with increasingly refined abstract traces

» Managing verification error traces with bounded model debugging

» Transistor abstraction for the functional verification of FPGAs

» Formal Property Verification by Abstraction Refinement with Formal Simulation and Hybrid E...

» System for Automated Deduction SAD A Tool for Proof Verification

» Compiler Verification in LF

» ConstraintBased Abstract Semantics for Temporal Logic A Direct Approach to Design and Impl...

» An Embedded Multiresolution AMBA Trace Analyzer for Microprocessorbased SoC Integration

» Incremental Implementation of Syntax Driven Logics

Post Info
More Details (n/a)

Added	08 Aug 2010
Updated	08 Aug 2010
Type	Conference
Year	1996
Where	PODC
Authors	Nils Klarlund, Mogens Nielsen, Kim Sunesen

Comments (0)