Verifying Concurrent Systems with Symbolic Execution

Erstveröffentlichung
2000
Authors
Balser, Michael
Duelli, C.
Reif, Wolfgang
Schellhorn, Gerhard
Beitrag zu einer Konferenz


Published in
Papers presented at the International Conference on Temporal Logic (ICTL2000) ; 2002 (2000). - S. 549-560
Link to publication
https://dx.doi.org/10.1093/logcom/12.4.549
Conference
International Conterence on Temporal Logic, 2000-10-04 - 2000-10-07, Leipzig
Subject headings
[DDC subject group]: DDC 000 / Computer science, information & general works
Metadata
Show full item record