Kratos – A Software Model Checker for SystemC Chapter

• http://dx.doi.org/10.1007/978-3-642-22110-1_24

•  
• Overview
•  
• Identity
•  
• Additional Document Info
•  
• View All
•  

Overview

authors

• Cimatti, Alessandro
• Griggio, Alberto
• Micheli, Andrea
• Narasamdya, Iman
• Roveri, Marco

publication date

• January 1, 2011

published in

• Computer Aided Verification  Book

Identity

International Standard Book Number (ISBN) 13

• 978-3-642-22109-5
• 978-3-642-22110-1

Additional Document Info

number of pages

• 6

start page

• 310

end page

• 316