Precise Predictive Analysis for Discovering Communication Deadlocks in Message Passing Programs
Vojtech Forejt‚ Daniel Kroening‚ Ganesh Narayanswamy and Subodh Sharma
Book Title
FM 2014: Formal Methods
ISBN
978−3−319−06409−3
Pages
263−278
Publisher
Springer International Publishing
Series
Lecture Notes in Computer Science
Volume
8442
Year
2014