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 contribution

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
CountryPortugal
CityLisbon
Period9/06/0912/06/09

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)

Cite this