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

@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)

11 ×#model checking
11 ×#verification
7 ×#using
5 ×#hybrid
4 ×#automation
4 ×#hardware
3 ×#abstraction
3 ×#automaton
2 ×#algorithm
2 ×#composition

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.