Interactive verification of concurrent systems using symbolic execution.
Saved in:
| 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: | Applied Science & Technology Source |
Be the first to leave a comment!
