Model checking LTL properties over ANSI-C programs with bounded traces

✍ Scribed by Morse, Jeremy; Cordeiro, Lucas; Nicole, Denis; Fischer, Bernd

• Book ID: 121632017
• Publisher: Springer-Verlag
• Year: 2013
• Tongue: English
• Weight: 967 KB
• Volume: 14
• Category: Article
• ISSN: 1619-1366
• DOI: 10.1007/s10270-013-0366-0