Dynamic Symbolic Execution of Distributed Concurrent Objects

Andreas Griesmayer, Bernhard Aichernig, Einar Broch Johnsen, Rudolf Schlatte

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

Original languageEnglish
Title of host publicationTests and Proofs
PublisherSpringer Verlag
Pages105-120
Volume5668
DOIs
Publication statusPublished - 2009
EventInternational Conference on Tests And Proofs: TAP 2009 - Zürich, Switzerland
Duration: 2 Jul 20093 Jul 2009

Publication series

NameLecture Notes in Computer Science
PublisherSpringer-Verlag

Conference

ConferenceInternational Conference on Tests And Proofs
Country/TerritorySwitzerland
CityZürich
Period2/07/093/07/09
  • Formal Methods

    Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.

    1/01/95 → …

    Project: Research area

Cite this