Vajih Montaghami
6 SlideShares 3 Followers
Tags
alloy pattern-based debugging debugging formal methods discrimnating example semantic mutation mte241 mcb1700 programming c uwaterloo software testing valgrind abz14 generator axioms partial instance static analysis
See more

Presentations

(6)
See all

Pattern-Based Debugging of Declarative Models

9 years ago • 92 Views

How to use peripherals on MCB1700

9 years ago • 802 Views

Valgrind

9 years ago • 281 Views

Staged Evaluation of Partial-Instances in Alloy

9 years ago • 102 Views

Extending Alloy with Partial Instances.

9 years ago • 113 Views

Sliced Alloy

9 years ago • 97 Views
Tags
alloy pattern-based debugging debugging formal methods discrimnating example semantic mutation mte241 mcb1700 programming c uwaterloo software testing valgrind abz14 generator axioms partial instance static analysis
See more