Differences

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

--- reading [2010/03/01 19:47] – franck
+++ reading [2010/03/24 17:52] (current) – franck
@@ Line 101: / Line 101: @@
 ===== February 26 =====
-Lecture in room 2002 of the Computer Science and Engineering Building
+Lecture in room 3033 of the Computer Science and Engineering Building
 from 10:00 until 11:30.
@@ Line 107: / Line 107: @@
 ===== March 1 =====
+Non-blocking stack in Java.
 ===== March 3 =====
+[[http://www.cs.kent.ac.uk/projects/ofa/jcsp/|Communicating Sequential Processes for Java]]
 ===== March 8 =====
-===== March 10 =====
+Presentations of second assignment in the Computer Science and Engineering Building, room 3033.
-Chapter 12 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.
 ===== March 10 =====
-Presentations of second assignment in the Computer Science and Engineering Building, room 3033.
+Presentations of second assignment in the Computer Science and Engineering Building, room 2002.
-===== March 31 =====
-Presentations of third assignment.
-<html>
+===== March 15 =====
-<!--
-===== April 14 =====
+A guest lecture by Nastaran Shafiei on Java PathFinder will take place in the Computer Science and Engineering Building, room 2002.
-[[http://www.cs.kent.ac.uk/projects/ofa/jcsp/|Communicating Sequential Processes for Java]]
+===== March 17 =====
-Examples of JCSP can be found [[csp|here]].
+A guest lecture by Nastaran Shafiei on Java PathFinder will take place in the Computer Science and Engineering Building, room 2002.
-===== April 16 =====
+===== March 22 =====
-Four concurrent implementations of a stack can be found
+Introduction to model checking.
-[[stack|here]].
-===== April 30 =====
+===== March 24 =====
-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.
+Introduction to model checking.
-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.
+===== Additional reading material =====
-An answer to the question //Why do we need software verification tools?// can be found [[verification|here]].
+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.
-===== May 5 =====
+===== March 29 =====
-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.
+Chapter 12 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.
+Presentation of third assignment.
-===== May 7 =====
+===== March 31 =====
-More information about Java PathFinder can be found
+Presentations of third assignment.
-[[jpf:start|here]].
-===== May 12 =====
-Information about handling native code with Java PathFinder can be found
-[[jpf-native:start|here]].
--->
-</html>