Book Chapter10.1007/978-3-642-38088-4_1

Improved State Space Reductions for LTL Model Checking of C and C++ Programs

Petr Ročkai,Jǐŕı Barnat,Luboš Brim-2013-01-01-Lecture notes in computer science

16

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Model checkingState spaceState (computer science)Computer scienceProgramming languageMathematicsStatistics

Chat

Click to start Chat