Automated Logical Verification Based on Trace Abstractions

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 

• Type: Conference
• Year: 1996
• Where: PODC
• Authors: Nils Klarlund, Mogens Nielsen, Kim Sunesen
• Keywords: BRICS Report Series, Distributed And Parallel Computing, Mogens Nielsen Kim, PODC 1996, Trace Abstractions Nils