---
abstract: "ProB is being used for teaching the B-method. In this paper, we present two new features of  ProB that we have introduced while teaching B.\r\nOne feature allows a student (or an expert user) to graphically visualise any predicate as a tree. The underlying algorithm can deal with\r\n  undefined subformulas and tries to provide useful feedback even for existentially quantified formulas which are false.\r\n This feature is especially useful to inspect unexpected invariant violations or operations which are unexpectedly enabled or disabled.\r\nThe other feature enables a student or lecturer to easily and quickly write custom graphical state representations,  to provide a better understanding of the model.\r\n With this method, one simply has to assemble a series of pictures and to write an animation function in B itself, which stipulates which pictures should be shown where  depending on the current state of the model.\r\n As an additional side-benefit, writing the animation function in B itself is a good exercise for students."
accompaniment: []
book_title: ~
commentary: ~
completion_time: ~
composition_type: ~
conductors_id: []
conductors_name: []
contact_email: ~
copyright_holders: []
corp_creators: []
creators_id:
  - leuschel@cs.uni-duesseldorf.de
  - ~
  - ~
  - ~
creators_name:
  - family: Leuschel
    given: Michael
    honourific: ''
    lineage: ''
  - family: Samia
    given: Mireille
    honourific: ''
    lineage: ''
  - family: Bendisposto
    given: Jens
    honourific: ''
    lineage: ''
  - family: Samia
    given: Mireille
    honourific: ''
    lineage: ''
data_type: ~
date: 2008
date_type: published
datestamp: 2008-11-04 09:22:45
department: ~
dir: disk0/00/00/00/47
divisions: []
edit_lock_since: ~
edit_lock_until: ~
edit_lock_user: ~
editors_id: []
editors_name: []
eprint_status: archive
eprintid: 47
event_dates: 'June 16, 2008'
event_location: 'Nantes, France'
event_title: 'The B Method : From Research to Teaching'
event_type: workshop
exhibitors_id: []
exhibitors_name: []
fileinfo: /style/images/fileicons/application_pdf.png;/47/1/teaching_animation.pdf
full_text_status: public
funders: []
id_number: ~
importid: ~
institution: ~
isbn: ~
ispublished: pub
issn: ~
item_issues_comment: []
item_issues_count: 0
item_issues_description: []
item_issues_id: []
item_issues_reported_by: []
item_issues_resolved_by: []
item_issues_status: []
item_issues_timestamp: []
item_issues_type: []
keywords: ~
lastmod: 2010-04-19 15:05:51
latitude: ~
learning_level: ~
longitude: ~
lyricists_id: []
lyricists_name: []
metadata_visibility: show
monograph_type: ~
note: ~
num_pieces: ~
number: ~
official_url: ~
output_media: ~
pagerange: ~
pages: ~
patent_applicant: ~
pedagogic_type: ~
place_of_pub: ~
pres_type: paper
producers_id: []
producers_name: []
projects: []
publication: ~
publisher: ~
refereed: TRUE
referencetext: ~
related_url_type: []
related_url_url: []
relation_type: []
relation_uri: []
rev_number: 21
series: ~
skill_areas: []
source: ~
status_changed: 2008-11-04 09:22:44
subjects:
  - deploy_tooldev
  - deploy_tooldev_modela
  - deploy_training
succeeds: ~
suggestions: ~
sword_depositor: ~
sword_slug: ~
task_purpose: ~
thesis_type: ~
title: Easy Graphical Animation and Formula Visualisation for Teaching B
type: conference_item
userid: 12
volume: ~
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>