PowerPoint Presentation

... executable ITL framework written in C open source rewriting in Java Assert point-based verification points directly written in the source code every assertion ...