Efficient Safety Proofs for Industry-Scale Code Using Abstractions and Bounded Model Checking.

Priyanka Darke, Bharti Chimdyalwar, Avriti Chauhan, R. Venkatesh

Browse the full ICST paper archive.