TU Darmstadt / ULB / TUbiblio

Strengthened State Transitions for Complete Invariant Verification in Practical Depth-Induction

Bokor, Peter and Shukla, Sandeep and Pataricza, András and Suri, Neeraj (2008):
Strengthened State Transitions for Complete Invariant Verification in Practical Depth-Induction.
In: AFM '08: Proceedings of the 3rd Workshop on Automated Formal Methods, ACM, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2008
Creators: Bokor, Peter and Shukla, Sandeep and Pataricza, András and Suri, Neeraj
Title: Strengthened State Transitions for Complete Invariant Verification in Practical Depth-Induction
Language: English
Title of Book: AFM '08: Proceedings of the 3rd Workshop on Automated Formal Methods
Publisher: ACM
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Dependable Embedded Systems & Software
Date Deposited: 17 Nov 2010 14:11
Export:

Optionen (nur für Redakteure)

View Item View Item