![Application programming interfaces / Parallel computing / Model checking / Formal methods / Logic in computer science / Principles of Programming Languages / SPIN model checker / Thread / Formal verification / Computing / Computer science / Computer programming Application programming interfaces / Parallel computing / Model checking / Formal methods / Logic in computer science / Principles of Programming Languages / SPIN model checker / Thread / Formal verification / Computing / Computer science / Computer programming](https://www.pdfsearch.io/img/fbefb70d0782339ff246db3bbb6433e9.jpg) Date: 2007-12-21 11:36:45Application programming interfaces Parallel computing Model checking Formal methods Logic in computer science Principles of Programming Languages SPIN model checker Thread Formal verification Computing Computer science Computer programming | | Runtime Model Checking of Multithreaded C Programs using Automated Instrumentation Dynamic Partial Order Reduction and Distributed Checking ⋆ Ganesh GopalakrishnanAdd to Reading ListSource URL: www.fm2008.abo.fiDownload Document from Source Website File Size: 77,45 KBShare Document on Facebook
|