TU Darmstadt / ULB / TUbiblio

Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems

Din, Crystal Chang and Owe, Olaf and Bubel, Richard (2014):
Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems.
In: MODELWARDS'14, SCITEPRESS, DOI: 10.5220/0004877804800487, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2014
Creators: Din, Crystal Chang and Owe, Olaf and Bubel, Richard
Title: Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems
Language: German
Journal or Publication Title: Proceedings MODELWARDS’14 SCITEPRESS 2014
Title of Book: MODELWARDS'14
Publisher: SCITEPRESS
Uncontrolled Keywords: Runtime Assertion Checking, Formal Verification, Concurrency, Distributed Systems, Tools
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
DOI: 10.5220/0004877804800487
Identification Number: TUD-CS-2014-0829
Export:

Optionen (nur für Redakteure)

View Item View Item