CSE4213 Home Page CSE4213 AJH-2007-00 CSE4213 Home Page CSE4213 Formal Methods in Software Engineering Home Page

Quick Links

Anonymous Feedback Page


No news today

Contact Details

Including file "contacts/lecturer.xml#xpointer(//subpart/*)"

Including file "contacts/tutors.xml#xpointer(//subpart/*)"

See separate page for contact details

Learning Resources

See also the school information page


Including file "lectures/index.xml#xpointer(//section[1]/subpart/*)"

Including file "lectures/index.xml#xpointer(//LectureTimetable)"


Including file "tutorials/discussion.xml#xpointer(//subpart/*)"

Including file "tutorials/schedule.xml#xpointer(//subpart/*)"

Lab Classes

There are no formal lab classes in this unit: however, students are expected to spend a significant amount of time in the sng labs using the B Toolkit.


Including file "assessment/discussion.xml#xpointer(//subpart/*)"

Including file "assessment/schedule.xml#xpointer(//subpart/*)"


At this stage, there is no FAQ


The course follows the text (as time permits):

Schneider, S.,
The B-Method: An Introduction,
first edition, Palgrave, 2001.
Why is this picture such an interesting pun? The name has one obvious connection. What is the other? What is so interesting about the date? And where was the picture taken?
A bonus mark for the first correct answer to each question.
Discussion on the Anonymous Feedback Page please!

There are two copies of this text in the Hargrave on overnight loan. You may also find Wordsworth's earlier book Software Development with B useful. There are 2 copies of this book in the Hargrave, one on overnight, the others on weekly loan.

Reference Documents

Document Number Document Title and Link
00 Home Page (this page)
01 About This Unit
02 Contact Details
03 Concise Summary of B Toolkit
04 Assessment Details
05 Assignment 1
06 Tutorial Details
07 Exercises 1
08 Lecture Details
09 Assignment 2
16 Exercises 2

Other Links

  1. some helpful set theory pages
  2. Can Software Kill You?

Useful URLs for this unit will be added here.

If you find a useful URL, please send it to John Hurst, so that others can check it out as well.


Got any problems? You can post questions, comments, feedback to the CSE4213 Anonymous Feedback Page. You can use the page anonymously, but it is preferred (and your comments carry more weight) if you use your name or nickname on them.

Document History

20070130:165501 6.0.0 ajh initial page for 2007

Including file "contacts/lecturer.xml#xpointer(//DocumentHistory[@title='Lecturer_Details'])"

Including file "lectures/index.xml#xpointer(//DocumentHistory[@title='Lecture_Discussion'])"

Including file "lectures/index.xml#xpointer(//DocumentHistory[@title='Lecture_Schedule'])"

Including file "tutorials/index.xml#xpointer(//DocumentHistory[@title='Tutorial_Discussion'])"

Including file "tutorials/index.xml#xpointer(//DocumentHistory[@title='Tutorial_Schedule'])"

Including file "assessment/discussion.xml#xpointer(//DocumentHistory)"

Including file "assessment/schedule.xml#xpointer(//DocumentHistory)"

This page maintained by John Hurst.
20488 accesses since
12 Sep 2006
My PhotoMy PhotoTrain Photo

Dynamically generated at 20090704:0415 from an XML file modified on 20070202:1413.
Maintainer use only; not generally accessible: Local ServerHome ServerHurst ServerWork ServerCSSE Server

2899 accesses since 16 Aug 2008, HTML cache rendered at 20110324:0047