---
abstract: "We present ProB, a validation toolset for the B method. ProB's automated animation facilities allow users to gain confidence in their specifications. ProB also contains a model checker and a refinement checker, both of which can be used to detect various errors in B specifications. We describe the underlying methodology of ProB, and present the important aspects of the implementation. We also present empirical evaluations as well as several case studies, highlighting that ProB enables users to uncover errors that are not easily discovered by existing tools."
accompaniment: []
book_title: ~
commentary: ~
completion_time: ~
composition_type: ~
conductors_id: []
conductors_name: []
contact_email: ~
copyright_holders: []
corp_creators: []
creators_id: []
creators_name:
  - family: Leuschel
    given: Michael
    honourific: ''
    lineage: ''
  - family: Butler
    given: Michael
    honourific: ''
    lineage: ''
data_type: ~
date: 2008
date_type: published
datestamp: 2007-12-12 17:15:09
department: ~
dir: disk0/00/00/00/05
divisions: []
edit_lock_since: ~
edit_lock_until: ~
edit_lock_user: ~
editors_id: []
editors_name: []
eprint_status: archive
eprintid: 5
event_dates: ~
event_location: ~
event_title: ~
event_type: ~
exhibitors_id: []
exhibitors_name: []
fileinfo: ''
full_text_status: none
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: 2008-10-07 21:26:12
latitude: ~
learning_level: ~
longitude: ~
lyricists_id: []
lyricists_name: []
metadata_visibility: show
monograph_type: ~
note: ~
num_pieces: ~
number: 2
official_url: http://eprints.ecs.soton.ac.uk/12886/2/overview_final.pdf
output_media: ~
pagerange: 185-203
pages: ~
patent_applicant: ~
pedagogic_type: ~
place_of_pub: ~
pres_type: ~
producers_id: []
producers_name: []
projects: []
publication: International Journal on Software Tools for Technology Transfer
publisher: Springer
refereed: TRUE
referencetext: ~
related_url_type: []
related_url_url:
  - http://eprints.ecs.soton.ac.uk/12886/
relation_type: []
relation_uri: []
rev_number: 33
series: ~
skill_areas: []
source: ~
status_changed: 2007-12-12 17:15:09
subjects:
  - deploy_tooldev_modela
succeeds: ~
suggestions: ~
sword_depositor: ~
sword_slug: ~
task_purpose: ~
thesis_type: ~
title: 'ProB: An Automated Analysis Toolset for the B Method'
type: article
userid: 1
volume: 10
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>