×

Tools and algorithms for the construction and analysis of systems. 14th international conference, TACAS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. (English) Zbl 1133.68009

Lecture Notes in Computer Science 4963. Berlin: Springer (ISBN 978-3-540-78799-0/pbk). xvi, 518 p. (2008).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 1116.68006).
Indexed articles:
Farzan, Azadeh; Chen, Yu-Fang; Clarke, Edmund M.; Tsay, Yih-Kuen; Wang, Bow-Yaw, Extending automated compositional verification to the full class of omega-regular languages, 2-17 [Zbl 1134.68406]
Saksena, Mayank; Wibling, Oskar; Jonsson, Bengt, Graph grammar modeling and verification of ad hoc routing protocols, 18-32 [Zbl 1134.68418]
Clarke, Edmund; Talupur, Murali; Veith, Helmut, Proving Ptolemy right: The environment abstraction framework for model checking concurrent systems, 33-47 [Zbl 1134.68403]
Barnat, J.; Brim, L.; Šimeček, P.; Weber, M., Revisiting resistance speeds up I/O-efficient LTL model checking, 48-62 [Zbl 1134.68397]
De Wulf, M.; Doyen, L.; Maquet, N.; Raskin, J.-F., Antichains: Alternative algorithms for LTL satisfiability and model-checking, 63-77 [Zbl 1134.68404]
Bakewell, Adam; Ghica, Dan R., On-the-fly techniques for game-based software model checking, 78-92 [Zbl 1134.68396]
Abdulla, Parosh A.; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš, Computing simulations over tree automata. Efficient techniques for reducing tree automata., 93-108 [Zbl 1134.68391]
Alkassar, Eyad; Schirmer, Norbert; Starostin, Artem, Formal pervasive verification of a paging mechanism, 109-123 [Zbl 1134.68394]
Katz, Gal; Peled, Doron, Model checking-based genetic programming with an application to mutual exclusion, 141-156 [Zbl 1134.68411]
Andrés, Miguel E.; van Rossum, Peter, Conditional probabilities over probabilistic and nondeterministic systems, 157-172 [Zbl 1134.68395]
Sankaranarayanan, Sriram; Dang, Thao; Ivančić, Franjo, Symbolic model checking of hybrid systems using template polyhedra, 188-202 [Zbl 1134.68419]
Kupferschmid, Sebastian; Hoffmann, Jörg; Larsen, Kim G., Fast directed model checking via Russian Doll abstraction, 203-217 [Zbl 1134.68412]
Ben-Amram, Amir M.; Codish, Michael, A SAT-based approach to size change termination with global ranking functions, 218-232 [Zbl 1134.68398]
Chockler, Hana; Grumberg, Orna; Yadgar, Avi, Efficient automatic STE refinement using responsibility, 233-248 [Zbl 1134.68401]
Kovács, Laura, Reasoning algebraically about P-solvable loops, 249-264 [Zbl 1134.68600]
Ihlemann, Carsten; Jacobs, Swen; Sofronie-Stokkermans, Viorica, On local reasoning in verification, 265-281 [Zbl 1134.68410]
Lal, Akash; Touili, Tayssir; Kidd, Nicholas; Reps, Thomas, Interprocedural analysis of concurrent programs under a context bound, 282-298 [Zbl 1134.68349]
La Torre, Salvatore; Madhusudan, P.; Parlato, Gennaro, Context-bounded analysis of concurrent queue systems, 299-314 [Zbl 1134.68446]
Fisman, Dana; Kupferman, Orna; Lustig, Yoad, On verifying fault tolerance of distributed protocols, 315-331 [Zbl 1134.68317]
Pace, Gordon; Schneider, Gerardo, Computation and visualisation of phase portraits for model checking SPDIs, 341-345 [Zbl 1134.68417]
Tsay, Yih-Kuen; Chen, Yu-Fang; Tsai, Ming-Hsien; Chan, Wen-Chin; Luo, Chi-Jian, GOAL extended: Towards a research tool for omega automata and temporal logic, 346-350 [Zbl 1134.68420]
Anand, Saswat; Godefroid, Patrice; Tillmann, Nikolai, Demand-driven compositional symbolic execution, 367-381 [Zbl 1134.68355]
Wang, Chao; Yang, Zijiang; Kahlon, Vineet; Gupta, Aarti, Peephole partial order reduction, 382-396 [Zbl 1134.68421]
Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto, Efficient interpolant generation in satisfiability modulo theories, 397-412 [Zbl 1134.68402]
McMillan, K. L., Quantified invariant generation using an interpolating saturation prover, 413-427 [Zbl 1134.68416]
Caniart, Nicolas; Fleury, Emmanuel; Leroux, Jérôme; Zeitoun, Marc, Accelerating interpolation-based model-checking, 428-442 [Zbl 1134.68400]
Gulavani, Bhargav S.; Chakraborty, Supratik; Nori, Aditya V.; Rajamani, Sriram K., Automatically refining abstract interpretations, 443-458 [Zbl 1134.68356]
Li, Guodong; Slind, Konrad, Trusted source translation of a total function language, 471-485 [Zbl 1134.68491]
Moskal, Michał, Rocket-fast proof checking for SMT solvers, 486-500 [Zbl 1134.68492]

MSC:

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

Citations:

Zbl 1116.68006
PDFBibTeX XMLCite
Full Text: DOI