Memory Modeling in Software Verification Using Method CEGAR


Memory Modeling in Software Verification Using Method CEGAR

Michail Mandrykin . Starts at January 29, 2013.

The presentation of the report can be found here.

The seminar of the research group

Software Engineering

Back to the list of seminars of ISP RAS