Computer aided verification. 18th international conference, CAV 2006, Seattle, WA, USA, August 17–20, 2006. Proceedings. (English) Zbl 1114.68002

Lecture Notes in Computer Science 4144. Berlin: Springer (ISBN 3-540-37406-X/pbk). xv, 564 p. (2006).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 1078.68004).
Indexed articles:
De Wulf, M.; Doyen, L.; Henzinger, T. A.; Raskin, J.-F., Antichains: a new algorithm for checking universality of finite automata, 17-30 [Zbl 1188.68171]
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y., Safraless compositional synthesis, 31-44 [Zbl 1188.68193]
Juvekar, Sudeep; Piterman, Nir, Minimizing generalized Büchi automata, 45-58 [Zbl 1188.68174]
Eisinger, Jochen; Klaedtke, Felix, Don’t care words with an application to the automata-based approach for real addition. (Extended abstract), 67-80 [Zbl 1188.68185]
Heljanko, Keijo; Junttila, Tommi; Keinänen, Misa; Lange, Martin; Latvala, Timo, Bounded model checking for weak alternating Büchi automata, 95-108 [Zbl 1188.68189]
McMillan, Kenneth L., Lazy abstraction with interpolants, 123-136 [Zbl 1188.68196]
Tzoref, Rachel; Grumberg, Orna, Automatic refinement and vacuity detection for symbolic trajectory evaluation, 190-204 [Zbl 1188.68199]
Bustan, Doron; Havlicek, John, Some complexity results for SystemVerilog Assertions, 205-218 [Zbl 1188.68184]
Klose, Jochen; Toben, Tobe; Westphal, Bernd; Wittke, Hartmut, Check it out: on the efficient formal verification of live sequence charts, 219-233 [Zbl 1188.68191]
Kwiatkowska, Marta; Norman, Gethin; Parker, David, Symmetry reduction for probabilistic model checking, 234-248 [Zbl 1188.68194]
Krcal, Pavel; Yi, Wang, Communicating timed automata: the more synchronous, the more difficult to verify, 249-262 [Zbl 1188.68192]
Roşu, Grigore; Bensalem, Saddek, Allen linear (interval) temporal logic – translation to LTL and monitor synthesis, 263-277 [Zbl 1188.68159]
Kahlon, Vineet; Gupta, Aarti; Sinha, Nishant, Symbolic model checking of concurrent programs using partial orders and on-the-fly transactions, 286-299 [Zbl 1188.68190]
Sen, Koushik; Viswanathan, Mahesh, Model checking multithreaded programs with asynchronous atomic methods, 300-314 [Zbl 1188.68198]
Farzan, Azadeh; Madhusudan, P., Causal atomicity, 315-328 [Zbl 1188.68186]
Alur, Rajeev; Chaudhuri, Swarat; Madhusudan, P., Languages of nested trees, 329-342 [Zbl 1188.68167]
Lal, Akash; Reps, Thomas, Improving pushdown system model checking, 343-357 [Zbl 1188.68195]
Griesmayer, Andreas; Bloem, Roderick; Cook, Byron, Repair of Boolean programs with an application to C, 358-371 [Zbl 1188.68188]
Braverman, Mark, Termination of integer linear programs, 372-385 [Zbl 1188.68183]
Berdine, Josh; Cook, Byron; Distefano, Dino; O’Hearn, Peter W., Automatic termination proofs for programs with shape-shifting heaps, 386-400 [Zbl 1188.68109]
Manolios, Panagiotis; Vroon, Daron, Termination analysis with calling context graphs, 401-414 [Zbl 1188.68110]
Boigelot, Bernard; Herbreteau, Frédéric, The power of hybrid acceleration, 438-451 [Zbl 1188.68169]
Bouajjani, Ahmed; Bozga, Marius; Habermehl, Peter; Iosif, Radu; Moro, Pierre; Vojnar, Tomáš, Programs with lists are counter automata, 517-531 [Zbl 1188.68181]


68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Q60 Specification and verification (program logics, model checking, etc.)
00B25 Proceedings of conferences of miscellaneous specific interest


Zbl 1078.68004
Full Text: DOI