Bibliographic Details
| 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 |
