Treffer: Interactive verification of concurrent systems using symbolic execution.
Title:
Interactive verification of concurrent systems using symbolic execution.
Authors:
Bäumler, Simon1 baeumler@informatik.uni-augsburg.de, Balser, Michael1 balser@informatik.uni-augsburg.de, Nafz, Florian1 nafz@informatik.uni-augsburg.de, Reif, Wolfgang1 reif@informatik.uni-augsburg.de, Schellhorn, Gerhard1 schellhorn@informatik.uni-augsburg.de
Source:
AI Communications. 2010, Vol. 23 Issue 2/3, p285-307. 23p. 2 Color Photographs, 7 Diagrams, 13 Charts, 1 Graph.
Database:
Business Source Ultimate