View 1 distributed java applications 2 model checking 3 software verification 4 proactive library 5 asynchronous communication 6 static analysis tools 7 dependable systems 8 hierarchical modeling text PowerPoint (PPT) presentations online in SlideServe. SlideServe has a very huge collection of 1 distributed java applications 2 model checking 3 software verification 4 proactive library 5 asynchronous communication 6 static analysis tools 7 dependable systems 8 hierarchical modeling text PowerPoint presentations. You can view or download 1 distributed java applications 2 model checking 3 software verification 4 proactive library 5 asynchronous communication 6 static analysis tools 7 dependable systems 8 hierarchical modeling text presentations for your school assignment or business presentation. Browse for the presentations on every topic that you want.