The top documents tagged [java path finder jpf]

Robotized Determination of Vitality Wastefulness for Cell Phone Applications GreedDroid

---

222 views

272: Software Engineering Fall 2012 Instructor: Tevfik Bultan Lecture 2: Software Verification with JPF, ALV and Design for Verification.

---

216 views

272: Software Engineering Fall 2012

---

40 views