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

Quick Links

Assignment 2
Tutorial 2 exercises
Lecture 11
Lecture 10
Anonymous Feedback Page


Assignment 3 cancelled! Due to my absence for the last 5 weeks, and the difficulties in running an assignment without an expert in B available, I have decided to cancel assignment 3. The marks for the exam with be correspondingly greater, to keep the weights for assignments 1 and 2 at 20% each. The deadline for assignment 2 has been extended by two weeks.
Assignment 2 is now available.
A further addition to the SNG instructions has been made. You need to make sure that the tetex library is available on your path.
The instructions on running the B Toolkit on sng have been updated. You may need to download the file XBMotif, which is now available from the web page itself (not the sng file system!)

Previous News Items

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

20060425:150213 5.1.0 ajh cancelled assignment 3
20060419:233513 5.0.10 ajh moved some news items out
20060404:180935 5.0.9 ajh added assignment 2
20060404:100204 5.0.8 ajh modified news items and quick links
20060330:142335 5.0.7 ajh added news item 20060330:141031
20060321:103738 5.0.6 ajh update quick links
20060316:121747 5.0.5 ajh update quick links
20060307:133532 5.0.4 ajh update quick links
20060302:120456 5.0.3 ajh update quick links
20060227:151347 5.0.2 ajh add news item, update document numbers
20060225:181015 5.0.1 ajh internal xml changes to correct courseware page
20060210:071431 5.0.0 ajh added additional document history and changed Last Modified setup
20041210:075613 3.0.0 ajh Initial Version, developed from 2004 CSE4213 Home Page

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 is copyright, and maintained by John Hurst. 0 accesses since
12 May 2019
My PhotoMy PhotoTrain Photo

Local servers: Localhost Newport Burnley Everton Hamilton Bittern Spencer (Note that these are only accessible on my local network.)
Public Web Servers: Hurst Server/ajhurst.org Home Server/ajh.co Internode Server (In order of preference; not all of these may be active.)
Dynamically generated at 20190512:2134 from an XML file modified on 20060426:0425.

12 accesses since 04 May 2019, HTML cache rendered at 20190516:0622