Proceedings of the 14th International Conference on Computer Aided Verification
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

TEST
DBLP
Scholar
Full names Links ISxN
@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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.