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

Nicolas Halbwachs, Doron Peled
Proceedings of the 11th International Conference on Computer Aided Verification
CAV, 1999.

TEST

@proceedings{CAV-1999,
	address       = "Trento, Italy",
	editor        = "Nicolas Halbwachs and Doron Peled",
	isbn          = "3-540-66202-2",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 11th International Conference on Computer Aided Verification}",
	volume        = 1633,
	year          = 1999,
}

Contents (43 items)

CAV-1999-Dill #hardware #verification: Alternative Approaches to Hardware Verification (DLD), p. 1.
CAV-1999-Sifakis #composition #specification #tutorial: The Compositional Specification of Timed Systems — A Tutorial (JS), pp. 2–7.
CAV-1999-Alur #automaton: Timed Automata (RA), pp. 8–22.
CAV-1999-MannaS #diagrams #induction #verification: Verification of Parameterized Systems by Dynamic Induction on Diagrams (ZM, HS), pp. 25–41.
CAV-1999-Brinksma #consistency #formal method #testing: Formal Methods for Conformance Testing: Theory Can Be Practical (EB), pp. 44–45.
CAV-1999-BiereCRZ #model checking #safety #using: Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs (AB, EMC, RR, YZ), pp. 60–71.
CAV-1999-BaumgartnerHSA #abstraction #algorithm #model checking: Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists (JB, TH, VS, AA), pp. 72–83.
CAV-1999-RameshB #case study #design #pipes and filters #tool support #using #validation: Validation of Pipelined Processor Designs Using Esterel Tools: A Case Study (SR, PB), pp. 84–95.
CAV-1999-BerardF #automation #consistency #parametricity #protocol #realtime #verification: Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol (BB, LF), pp. 96–107.
CAV-1999-JeronM #generative #model checking #testing: Test Generation Derived from Model-Checking (TJ, PM), pp. 108–121.
CAV-1999-CarloniMS #latency #protocol: Latency Insensitive Protocols (LPC, KLM, ALSV), pp. 123–133.
CAV-1999-AbdullaBJN #verification: Handling Global Conditions in Parameterized System Verification (PAA, AB, BJ, MN), pp. 134–145.
CAV-1999-AbdullaABBHL #abstraction #analysis #infinity #reachability #verification: Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis (PAA, AA, SB, AB, PH, YL), pp. 146–159.
CAV-1999-DasDP #abstraction #experience: Experience with Predicate Abstraction (SD, DLD, SP), pp. 160–171.
CAV-1999-KupfermanV #model checking #safety: Model Checking of Safety Properties (OK, MYV), pp. 172–183.
CAV-1999-LangerakB #algebra #finite #process: A Complete Finite Prefix for Process Algebra (RL, EB), pp. 184–195.
CAV-1999-Chou #evaluation: The Mathematical Foundation fo Symbolic Trajectory Evaluation (CTC), pp. 196–207.
CAV-1999-HenzingerQR #refinement: Assume-Guarantee Refinement Between Different Time Scales (TAH, SQ, SKR), pp. 208–221.
CAV-1999-BloemRS #linear #logic #model checking #performance: Efficient Decision Procedures for Model Checking of Linear Time Logic Properties (RB, KR, FS), pp. 222–235.
CAV-1999-Etessami #automaton #invariant #logic: Stutter-Invariant Languages, ω-Automata, and Temporal Logic (KE), pp. 236–248.
CAV-1999-DanieleGV #automaton #generative #linear #logic: Improved Automata Generation for Linear Temporal Logic (MD, FG, MYV), pp. 249–260.
CAV-1999-BozgaM #on the #representation: On the Representation of Probabilities over Structured Domains (MB, OM), pp. 261–273.
CAV-1999-BrunsG #logic #model checking: Model Checking Partial State Spaces with 3-Valued Temporal Logics (GB, PG), pp. 274–287.
CAV-1999-MatthewsL #algebra #architecture: Elementary Microarchitecture Algebra (JM, JL), pp. 288–300.
CAV-1999-HenzingerQR99a #consistency #multi #verification: Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems (TAH, SQ, SKR), pp. 301–315.
CAV-1999-Lind-NielsenA #model checking: Stepwise CTL Model Checking of State/Event Systems (JLN, HRA), pp. 316–327.
CAV-1999-YangSBO #constraints #model checking #modelling #optimisation: Optimizing Symbolic Model Checking for Constraint-Rich Models (BY, RGS, REB, DRO), pp. 328–340.
CAV-1999-BehrmannLPWY #analysis #diagrams #difference #performance #reachability #using: Efficient Timed Reachability Analysis Using Clock Difference Diagrams (GB, KGL, JP, CW, WY), pp. 341–353.
CAV-1999-GlusmanK #equivalence #proving: Mechanizing Proofs of Computation Equivalence (MG, SK), pp. 354–367.
CAV-1999-ManoliosNS #bisimulation #model checking #proving #theorem proving: Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation (PM, KSN, RS), pp. 369–379.
CAV-1999-Bjesse #automation #combinator #pipes and filters #verification: Automatic Verification of Combinatorial and Pipelined FFT (PB), pp. 380–393.
CAV-1999-NamjoshiK #analysis #performance: Efficient Analysis of Cyclic Definitions (KSN, RPK), pp. 394–405.
CAV-1999-Klarlund #automaton #formal method #logic #strict: A Theory of Restrictions for Logics and Automata (NK), pp. 406–417.
CAV-1999-BoppanaRTF #model checking: Model Checking Based on Sequential ATPG (VB, SPR, KT, MF), pp. 418–430.
CAV-1999-Spielmann #automation #state machine #verification: Automatic Verification of Abstract State Machines (MS), pp. 431–442.
CAV-1999-SaidiS: Abstract and Model Check While You Prove (HS, NS), pp. 443–454.
CAV-1999-PnueliRSS #similarity: Deciding Equality Formulas by Small Domains Instantiations (AP, YR, OS, MS), pp. 455–469.
CAV-1999-BryantGV #logic #similarity: Exploiting Positive Equality in a Logic of Equality with Uninterpreted Functions (REB, SMG, MNV), pp. 470–482.
CAV-1999-BuchholzK #analysis: A Toolbox for the Analysis of Discrete Event Dynamic Systems (PB, PK), pp. 483–486.
CAV-1999-HermannsMS #analysis #composition #markov #modelling #named #performance #specification: TIPPtool: Compositional Specification and Analysis of Markovian Performance Models (HH, VM, MS), pp. 487–490.
CAV-1999-BasinFPV #bytecode #java #model checking #verification: Java Bytecode Verification by Model Checking (DAB, SF, JP, HV), pp. 491–494.
CAV-1999-CimattiCGR #named #verification: NUSMV: A New Symbolic Model Verifier (AC, EMC, FG, MR), pp. 495–499.
CAV-1999-Schumann #analysis #authentication #automation #named #protocol: PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols (JS), pp. 500–504.

Nicolas Halbwachs, Doron PeledProceedings of the 11th International Conference on Computer Aided VerificationCAV, 1999.

Contents (43 items)

Nicolas Halbwachs, Doron Peled
Proceedings of the 11th International Conference on Computer Aided Verification
CAV, 1999.