Skip Navigation
York U: Redefine the PossibleHOME | Current Students | Faculty & Staff | Research | International
Search »FacultiesLibrariesCampus MapsYork U OrganizationDirectorySite Index
Future Students, Alumni & Visitors
Calendar

This shows you the differences between two versions of the page.

reading [2010/03/22 13:59]
franck
reading [2010/03/24 13:52] (current)
franck
Line 138: Line 138:
===== March 24 ===== ===== March 24 =====
-===== March ? =====+Introduction to model checking.
-Chapter 12 of\\+===== Additional reading material ===== 
 + 
 +Chapter 3 of\\
Brian Goetz, Tim Peierls, Joshua Bloch, Joseph Bowbeer, David Holmes and Doug Lea. [[http://proquest.safaribooksonline.com.ezproxy.library.yorku.ca/0321349601|Java Concurrency in Practice]].  Addison-Wesley, 2006. Brian Goetz, Tim Peierls, Joshua Bloch, Joseph Bowbeer, David Holmes and Doug Lea. [[http://proquest.safaribooksonline.com.ezproxy.library.yorku.ca/0321349601|Java Concurrency in Practice]].  Addison-Wesley, 2006.
 +===== March 29 =====
- +Chapter 12 of\\ 
-===== March 29 =====+Brian Goetz, Tim Peierls, Joshua Bloch, Joseph Bowbeer, David Holmes and Doug Lea. [[http://proquest.safaribooksonline.com.ezproxy.library.yorku.ca/0321349601|Java Concurrency in Practice]].  Addison-Wesley, 2006.
Presentation of third assignment. Presentation of third assignment.
Line 152: Line 155:
Presentations of third assignment. Presentations of third assignment.
- 
-<html> 
-<!-- 
- 
-===== April 14 ===== 
- 
-[[http://www.cs.kent.ac.uk/projects/ofa/jcsp/|Communicating Sequential Processes for Java]] 
- 
-Examples of JCSP can be found [[csp|here]]. 
- 
-===== April 16 ===== 
- 
-Four concurrent implementations of a stack can be found 
-[[stack|here]]. 
- 
-===== April 30 ===== 
- 
-Edmund M. Clarke and Jeannette M. Wing. [[http://dx.doi.org/10.1145/242223.242257|Formal methods: state of the art and future directions]]. //ACM Computing Surveys//, 28(4):626-643, December 1996.  
- 
-Mats P.E. Heimdahl and Constance L. Heitmeyer. [[http://dx.doi.org/10.1109/WIFT.1998.766298|Formal methods for developing high assurance computer systems: working group report]]. In //Proceedings of the 2nd IEEE Workshop Industrial Strength Formal Specification Techniques//, pages 60-64, Boca Raton, FL , USA, October 1998. IEEE.  
- 
-An answer to the question //Why do we need software verification tools?// can be found [[verification|here]].  
- 
-===== May 5 ===== 
- 
-Willem Visser, Klaus Havelund, Guillaume Brat, SeungJoon Park and Flavio Lerda. [[http://dx.doi.org/10.1023/A:1022920129859|Model Checking Programs]]. //Automated Software Engineering//, 10(2): 203-232, April 2003.  
- 
-  
- 
-===== May 7 ===== 
- 
-More information about Java PathFinder can be found  
-[[jpf:start|here]].  
- 
-===== May 12 ===== 
- 
-Information about handling native code with Java PathFinder can be found  
-[[jpf-native:start|here]].  
- 
---> 
-</html> 
Last modified:
2010/03/24 13:52