Advertisement

Computer Aided Verification

16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

  • Rajeev Alur
  • Doron A. Peled
Conference proceedings CAV 2004

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3114)

Table of contents

  1. Front Matter
  2. Doron Peled
    Pages 1-14
  3. Thomas W. Reps, Mooly Sagiv, Reinhard Wilhelm
    Pages 15-30
  4. Hui Gao, Wim H. Hesselink
    Pages 44-56
  5. Ashish Tiwari
    Pages 70-82
  6. Mohammad Awedh, Fabio Somenzi
    Pages 96-108
  7. Jacob Chang, Sergey Berezin, David L. Dill
    Pages 122-134
  8. Shuvendu K. Lahiri, Randal E. Bryant
    Pages 135-147
  9. Muralidhar Talupur, Nishant Sinha, Ofer Strichman, Amir Pnueli
    Pages 148-161
  10. Leonardo de Moura, Harald Rueß
    Pages 162-174
  11. Harald Ganzinger, George Hagen, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli
    Pages 175-188
  12. Doron Bustan, Sasha Rubin, Moshe Y. Vardi
    Pages 189-201
  13. Koushik Sen, Mahesh Viswanathan, Gul Agha
    Pages 202-215
  14. Jin Yang, Carl-Johan H. Seger
    Pages 216-228
  15. Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi
    Pages 229-241
  16. Cédric Fournet, Tony Hoare, Sriram K. Rajamani, Jakob Rehof
    Pages 242-254
  17. Jie-Hong R. Jiang, Robert K. Brayton
    Pages 268-280
  18. Niel Immerman, Alexander Rabinovich, Thomas W. Reps, Mooly Sagiv, Great Yorsh
    Pages 281-294
  19. Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman
    Pages 308-320
  20. Constantinos Bartzis, Tevfik Bultan
    Pages 321-333
  21. Alexander Metzner
    Pages 334-347
  22. Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d’Orso, Mayank Saksena
    Pages 348-360
  23. Alain Finkel, Jérôme Leroux
    Pages 361-371
  24. Ahmed Bouajjani, Peter Habermehl, Tomáš Vojnar
    Pages 372-386
  25. Nir Piterman, Moshe Y. Vardi
    Pages 387-400
  26. Ganesh Gopalakrishnan, Yue Yang, Hemanthkumar Sivaraj
    Pages 401-413
  27. Jesse Bingham, Anne Condon, Alan J. Hu, Shaz Qadeer, Zhichuan Zhang
    Pages 427-439
  28. Malay K. Ganai, Aarti Gupta, Pranav Ashar
    Pages 440-452
  29. Alex Groce, Daniel Kroening, Flavio Lerda
    Pages 453-456
  30. Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Lintao Zhang
    Pages 457-461
  31. Cyrille Artho, Viktor Schuppan, Armin Biere, Pascal Eugster, Marcel Baur, Boris Zweimüller
    Pages 462-465
  32. Paula J. Pingree, Erich Mikk
    Pages 466-469
  33. Víctor Braberman, Diego Garbervetsky, Alfredo Olivero
    Pages 470-474
  34. Shuvendu K. Lahiri, Sanjit A. Seshia
    Pages 475-478
  35. Peter Gammie, Ron van der Meyden
    Pages 479-483
  36. Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie
    Pages 484-487
  37. Alain Griffault, Aymeric Vincent
    Pages 488-491
  38. Leonardo de Moura, Sam Owre, Harald Rueß, John Rushby, N. Shankar, Maria Sorea et al.
    Pages 496-500
  39. Azadeh Farzan, Feng Chen, José Meseguer, Grigore Roşu
    Pages 501-505
  40. S. Ramesh, Sampada Sonalkar, Vijay D’silva, Naveen Chandra R., B. Vijayalakshmi
    Pages 506-509
  41. Xiang Fu, Tevfik Bultan, Jianwen Su
    Pages 510-514
  42. Clark Barrett, Sergey Berezin
    Pages 515-518

About these proceedings

Keywords

algorithms automata automated deduction calculus computational logic computer aided verification formal methods formal program analysis formal verification logic modeling petri net proving systems verification verification

Editors and affiliations

  • Rajeev Alur
    • 1
  • Doron A. Peled
    • 2
  1. 1.University of Pennsylvania 
  2. 2.Department of Computer ScienceBar Ilan UniversityRamat GanIsrael

Bibliographic information

  • DOI https://doi.org/10.1007/b98490
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-22342-9
  • Online ISBN 978-3-540-27813-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications