Book Chapter10.1007/978-3-319-17581-2_14
Specifying and Verifying Concurrent C Programs with TLA+
Amira Methni,Matthieu Lemerre,Belgacem Ben Hédia,Serge Haddad,Kamel Barkaoui-2015-01-01-Communications in computer and information science
10
Chat with Paper
AI Agents for this Paper
No abstract available for this paper.
Keywords
Computer scienceProgramming languageLivenessConcurrencyModel checkingFragment (logic)Set (abstract data type)Code (set theory)
Chat
Click to start Chat