Abstraction-based generation of finite state models from c programs

• Authors:

• Daniel Charles Duvarney;S. Purushothaman Iyer

• Affiliations:

• -;-

• Venue:
• Abstraction-based generation of finite state models from c programs
• Year:
• 2002