Proceedings of the Sixth 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

David L. Dill
Proceedings of the Sixth International Conference on Computer Aided Verification
CAV, 1994.

TEST
DBLP
Scholar
Full names Links ISxN
@proceedings{CAV-1994,
	address       = "Stanford, California, USA",
	editor        = "David L. Dill",
	isbn          = "3-540-58179-0",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Sixth International Conference on Computer Aided Verification}",
	volume        = 818,
	year          = 1994,
}

Contents (38 items)

CAV-1994-AlurFH #automaton
A Determinizable Class of Timed Automata (RA, LF, TAH), pp. 1–13.
CAV-1994-GorrieriS #realtime #using #verification
Real-Time System Verification using P/T Nets (RG, GS), pp. 14–26.
CAV-1994-LamB #automaton
Criteria for the Simple Path Property in Timed Automata (WKCL, RKB), pp. 27–40.
CAV-1994-McMillan #model checking
Hierarchical Representations of Discrete Functions, with Application to Model Checking (KLM), pp. 41–54.
CAV-1994-BoigelotW #set #verification
Symbolic Verification with Periodic Sets (BB, PW), pp. 55–67.
CAV-1994-BurchD #automation #pipes and filters #verification
Automatic verification of Pipelined Microprocessor Control (JRB, DLD), pp. 68–80.
CAV-1994-OliveroSY #abstraction #hybrid #linear #using #verification
Using Abstractions for the Verification of Linear Hybrid Systems (AO, JS, SY), pp. 81–94.
CAV-1994-PuriV #decidability #difference #hybrid
Decidability of Hybrid Systems with Rectangular Differential Inclusion (AP, PV), pp. 95–104.
CAV-1994-McManisV #automaton #decidability #hybrid
Suspension Automata: A Decidable Class of Hybrid Automata (JM, PV), pp. 105–117.
CAV-1994-BouajjaniER #hybrid #linear #using #verification
Verification of Context-Free Timed Systems Using Linear Hybrid Observers (AB, RE, RR), pp. 118–131.
CAV-1994-MihailP #on the #protocol #random #testing
On the Random Walk Method for Protocol Testing (MM, CHP), pp. 132–141.
CAV-1994-BernholtzVW #approach #model checking
An Automata-Theoretic Approach to Branching-Time Model Checking (OB, MYV, PW), pp. 142–155.
CAV-1994-AnuchitanukulM #synthesis
Realizability and Synthesis of Reactive Modules (AA, ZM), pp. 156–168.
CAV-1994-Hungar #metaprogramming #model checking #process
Model Checking of macro Processes (HH), pp. 169–181.
CAV-1994-BeerBGGY #hardware #verification
Methodology and System for Practical Formal Verification of Reactive Hardware (IB, SBD, DG, RG, MY), pp. 182–193.
CAV-1994-NaikS #model checking #modelling #protocol #using #verification
Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking (VGN, APS), pp. 194–206.
CAV-1994-Graf #abstraction #distributed #memory management #using #verification
Verification of a Distributed Cache Memory by Using Abstractions (SG), pp. 207–219.
CAV-1994-Manna #model checking
Beyond Model Checking (ZM), pp. 220–221.
CAV-1994-Kurshan #modelling
Models Whose Checks Don’t Explode (RPK), pp. 222–233.
CAV-1994-BalarinS #automation #invariant #network #on the
On the Automatic Computation of Network Invariants (FB, ALSV), pp. 234–246.
CAV-1994-CyrlukN #hardware #logic #verification
Ground Temporal Logic: A Logic for Hardware Verification (DC, PN), pp. 247–259.
CAV-1994-Schubert #hardware #hybrid #reasoning
A Hybrid Model for Reasoning about Composed Hardware Systems (ETS), pp. 260–272.
CAV-1994-HazelhurstS #evaluation
Composing Symbolic Trajectory Evaluation Results (SH, CJHS), pp. 273–285.
CAV-1994-ZhuS #hardware
The Completeness of a Hardware Inference System (ZZ, CJHS), pp. 286–298.
CAV-1994-GeistB #automation #model checking #performance
Efficient Model Checking by Automated Ordering of Transition Relation Partitions (DG, IB), pp. 299–310.
CAV-1994-SinghalP #problem
The Verifiacation Problem for Safe Replaceability (VS, CP), pp. 311–323.
CAV-1994-AzizSS #composition #equivalence #model checking
Formula-Dependent Equivalence for Compositional CTL Model Checking (AA, TRS, VS), pp. 324–337.
CAV-1994-LongBCJM #algorithm #evaluation #fixpoint
An Improved Algorithm for the Evaluation of Fixpoint Expressions (DEL, AB, EMC, SJ, WRM), pp. 338–350.
CAV-1994-SokolskyS #calculus #incremental #model checking #μ-calculus
Incremental Model Checking in the Modal μ-Calculus (OS, SAS), pp. 351–363.
CAV-1994-CousinH #performance
Performance Improvement of State Space Exploration by Regular & Diffrential Hashing Functions (BC, JMH), pp. 364–376.
CAV-1994-Peled #model checking #on the fly #partial order #reduction
Combining Partial Order Reductions with On-the-fly Model-Checking (DP), pp. 377–390.
CAV-1994-HojatiMB #graph #using
Improving Language Containment Using Fairness Graphs (RH, RBMT, RKB), pp. 391–403.
CAV-1994-LeeR #algorithm #implementation #parallel #problem #relational
A Parallel Algorithm for Relational Coarsest Partition Problems and Its Implementation (IL, SR), pp. 404–414.
CAV-1994-ClarkeGH #ltl #model checking
Another Look at LTL Model Checking (EMC, OG, KH), pp. 415–427.
CAV-1994-VictorM #π-calculus
The Mobility Workbench — A Tool for the π-Calculus (BV, FM), pp. 428–440.
CAV-1994-SimoneR #composition #reduction #semantics #verification
Compositional Semantics of ESTEREL and Verification by Compositional Reductions (RdS, AR), pp. 441–454.
CAV-1994-DamsGDHKP #abstraction #adaptation #model checking #using
Model Checking Using Adaptive State and Data Abstraction (DD, RG, GD, RH, PK, HP), pp. 455–467.
CAV-1994-RokickiM #automation #verification
Automatic Verification of Timed Circuits (TR, CJM), pp. 468–480.

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.