Dynamic Symbolic Execution of Distributed Concurrent Objects (short paper)

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

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

Original languageEnglish
Title of host publicationIFIP International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE)
PublisherSpringer Verlag
Pages225-230
Volume5522
Publication statusPublished - 2009
EventIFIP International Conference on Formal Techniques for Distributed Systems - Lisbon, Portugal
Duration: 9 Jun 200912 Jun 2009

Publication series

NameLecture Notes in Computer Science
PublisherSpringer-Verlag

Conference

ConferenceIFIP International Conference on Formal Techniques for Distributed Systems
Country/TerritoryPortugal
CityLisbon
Period9/06/0912/06/09

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)
  • Formal Methods

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

    1/01/95 → …

    Project: Research area

Cite this