SMT-Based Bounded Model Checking for Embedded ANSI-C Software
IEEE Transactions on Software Engineering - United States
doi 10.1109/tse.2011.59
Full Text
Open PDFAbstract
Available in full text
Categories
Date
July 1, 2012
Authors
Publisher
Institute of Electrical and Electronics Engineers (IEEE)