default search action

combined dblp search
author search
venue search
publication search

ask others

Dagstuhl Seminar Proceedings: Software Verification: Infinite-State Model Checking and Static Program Analysis 2006

> Home > Series > Dagstuhl Seminar Proceedings

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/2006P6081
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2006P6081
Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm:
Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006. Dagstuhl Seminar Proceedings 06081, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/BeyerHT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BeyerHT06
Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz:
Lazy Shape Analysis.
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/BouajjaniESS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BouajjaniESS06
Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Jan Strejcek:
Reachability analysis of multithreaded software with asynchronous communication.
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/BauerW06a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BauerW06a
Jörg Bauer, Reinhard Wilhelm:
Analysis of Dynamic Communicating Systems by Hierarchical Abstraction.
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/LerouxS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/LerouxS06
Jérôme Leroux, Grégoire Sutre:
Flat counter automata almost everywhere!.
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/AbdullaBM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/AbdullaBM06
Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm:
06081 Executive Summary -- Software Verification: Infinite-State Model Checking and Static Program Analysis.
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/AbdullaBM06a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/AbdullaBM06a
Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm:
06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program Analysis.

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.