BibSLEIGH — Proceedings of the 14th International Conference on Computer Aided Verification

Ed Brinksma, Kim Guldstrand Larsen
Proceedings of the 14th International Conference on Computer Aided Verification
CAV, 2002.

TEST

@proceedings{CAV-2002,
	address       = "CAV 2002,Copenhagen, Denmark",
	editor        = "Ed Brinksma and Kim Guldstrand Larsen",
	isbn          = "3-540-43997-8",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 14th International Conference on Computer Aided Verification}",
	volume        = 2404,
	year          = 2002,
}

Event page: http://floc02.diku.dk/CAV/

Contents (51 items)

CAV-2002-Holzmann #analysis #model checking: Software Analysis and Model Checking (GJH), pp. 1–16.
CAV-2002-ZhangM #performance #satisfiability: The Quest for Efficient Boolean Satisfiability Solvers (LZ, SM), pp. 17–36.
CAV-2002-CousotC #abstraction #on the #verification: On Abstraction in Software Verification (PC, RC), pp. 37–56.
CAV-2002-Henzinger #approach #hybrid: The Symbolic Approach to Hybrid Systems (TAH), p. 57.
CAV-2002-Thomas #game studies #infinity #verification: Infinite Games and Verification (WT), pp. 58–64.
CAV-2002-BarnerGG #backtracking #locality #re-engineering #reduction: Symbolic Localization Reduction with Reconstruction Layering and Backtracking (SB, DG, AG), pp. 65–77.
CAV-2002-BryantLS #logic #modelling #using #verification: Modeling and Verifying Systems Using a Logic of Counter Arithmetic with λ Expressions and Uninterpreted Functions (REB, SKL, SAS), pp. 78–92.
CAV-2002-BarnerG #approximate #model checking #reduction #symmetry: Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking (SB, OG), pp. 93–106.
CAV-2002-PnueliXZ #abstraction #liveness: Liveness with (0, 1, infty)-Counter Abstraction (AP, JX, LDZ), pp. 107–122.
CAV-2002-ChatterjeeSG #consistency #memory management #model checking #modelling #protocol #refinement #verification: Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking (PC, HS, GG), pp. 123–136.
CAV-2002-GodefroidJ #abstraction #automation #model checking #using: Automatic Abstraction Using Generalized Model Checking (PG, RJ), pp. 137–150.
CAV-2002-BaumgartnerKA #analysis: Property Checking via Structural Analysis (JB, AK, JAA), pp. 151–165.
CAV-2002-RajamaniR #consistency #message passing #modelling: Conformance Checking for Models of Asynchronous Message Passing Software (SKR, JR), pp. 166–179.
CAV-2002-FlanaganQS #composition #parallel #source code #thread: A Modular Checker for Multithreaded Programs (CF, SQ, SAS), pp. 180–194.
CAV-2002-YonedaKM #analysis #automation #constraints: Automatic Derivation of Timing Constraints by Failure Analysis (TY, TK, CJM), pp. 195–208.
CAV-2002-StrichmanSB #satisfiability: Deciding Separation Formulas with SAT (OS, SAS, REB), pp. 209–222.
CAV-2002-YounesS #probability #using #verification: Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling (HLSY, RGS), pp. 223–235.
CAV-2002-BarrettDS #first-order #incremental #satisfiability: Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT (CWB, DLD, AS), pp. 236–249.
CAV-2002-McMillan #bound #model checking #satisfiability: Applying SAT Methods in Unbounded Symbolic Model Checking (KLM), pp. 250–264.
CAV-2002-ClarkeGKS #abstraction #machine learning #satisfiability #using: SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques (EMC, AG, JHK, OS), pp. 265–279.
CAV-2002-BinghamH #bound #model checking: Semi-formal Bounded Model Checking (JDB, AJH), pp. 280–294.
CAV-2002-BozzanoD #algorithm #protocol #verification: Algorithmic Verification of Invalidation-Based Protocols (MB, GD), pp. 295–308.
CAV-2002-Jacobi #model checking #pipes and filters #verification: Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving (CJ0), pp. 309–323.
CAV-2002-ChevalierV #automation #bound #protocol #security #verification: Automated Unbounded Verification of Security Protocols (YC, LV), pp. 324–337.
CAV-2002-AlurMY #behaviour #model checking #performance: Exploiting Behavioral Hierarchy for Efficient Model Checking (RA, MM, ZY), pp. 338–342.
CAV-2002-BozgaGM #component #realtime #validation: IF-2.0: A Validation Environment for Component-Based Real-Time Systems (MB, SG, LM), pp. 343–348.
CAV-2002-ArmandoBBCCMRTVV #analysis #protocol #security: The AVISS Security Protocol Analysis Tool (AA, DAB, MB, YC, LC, SM, MR, MT, LV, LV), pp. 349–353.
CAV-2002-AsarinPSY #hybrid #named #verification: SPeeDI — A Verification Tool for Polygonal Hybrid Systems (EA, GJP, GS, SY), pp. 354–358.
CAV-2002-CimattiCGGPRST #model checking: NuSMV 2: An OpenSource Tool for Symbolic Model Checking (AC, EMC, EG, FG, MP, MR, RS, AT), pp. 359–364.
CAV-2002-AsarinDM #hybrid #verification: The d/dt Tool for Verification of Hybrid Systems (EA, TD, OM), pp. 365–370.
CAV-2002-KupfermanPV #linear #model checking: Model Checking Linear Properties of Prefix-Recognizable Systems (OK, NP, MYV), pp. 371–385.
CAV-2002-RybinaV #canonical #infinity #model checking #using: Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking (TR, AV), pp. 386–400.
CAV-2002-HartongHB #model checking #modelling #on the: On Discrete Modeling and Model Checking for Nonlinear Analog Systems (WH, LH, EB), pp. 401–413.
CAV-2002-ChakrabartiAHM #bidirectional #component #interface: Synchronous and Bidirectional Component Interfaces (AC, LdA, TAH, FYCM), pp. 414–427.
CAV-2002-ChakrabartiAHJM #interface: Interface Compatibility Checking for Software Modules (AC, LdA, TAH, MJ, FYCM), pp. 428–441.
CAV-2002-ColonS #proving #termination: Practical Methods for Proving Program Termination (MC, HS), pp. 442–454.
CAV-2002-TanC #model checking: Evidence-Based Model Checking (LT, RC), pp. 455–470.
CAV-2002-CabodiNQ #traversal #verification: Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification (GC, SN, SQ), pp. 471–484.
CAV-2002-PurandareS: Vacuum Cleaning CTL Formulae (MP, FS), pp. 485–499.
CAV-2002-StumpBD #named: CVC: A Cooperating Validity Checker (AS, CWB, DLD), pp. 500–504.
CAV-2002-ChechikGD #model checking #multi #named: chi-Chek: A Multi-valued Model-Checker (MC, AG, BD), pp. 505–509.
CAV-2002-Ben-DavidGSW #design #named: PathFinder: A Tool for Design Exploration (SBD, AG, BS, YW), pp. 510–514.
CAV-2002-DamsHH #c: Abstracting C with abC (DD, WH, GJH), pp. 515–520.
CAV-2002-GrocePY #adaptation #model checking #named: AMC: An Adaptive Model Checker (AG, DP, MY), pp. 521–525.
CAV-2002-HenzingerJMNSW #proving: Temporal-Safety Proofs for Systems Code (TAH, RJ, RM, GCN, GS, WW), pp. 526–538.
CAV-2002-BouajjaniT #program transformation: Extrapolating Tree Transformations (AB, TT), pp. 539–554.
CAV-2002-AbdullaJMd #model checking: Regular Tree Model Checking (PAA, BJ, PM, Jd), pp. 555–568.
CAV-2002-KurshanLY #model checking: Compressing Transitions for Model Checking (RPK, VL, HY), pp. 569–581.
CAV-2002-KhomenkoKV #canonical #petri net: Canonical Prefixes of Petri Net Unfoldings (VK, MK, WV), pp. 582–595.
CAV-2002-BlomP #confluence #proving #reduction: State Space Reduction by Proving Confluence (SB, JvdP), pp. 596–609.
CAV-2002-GurumurthyBS #simulation: Fair Simulation Minimization (SG, RB, FS), pp. 610–624.

Ed Brinksma, Kim Guldstrand LarsenProceedings of the 14th International Conference on Computer Aided VerificationCAV, 2002.

Event page: http://floc02.diku.dk/CAV/

Contents (51 items)

Ed Brinksma, Kim Guldstrand Larsen
Proceedings of the 14th International Conference on Computer Aided Verification
CAV, 2002.