Toggle navigation
Components
ProB Cli
ProB Tcl/Tk
ProB Java API
BMotionWeb
ProB for Rodin
ProB for TLA
Documentation
ProB Tcl/Tk
BMotionWeb
ProB Java API
Download
Bugs
Links
Team
Navigation
Main Page
User Manual
Tutorials
Developer Manual
Benchmarks
Licence
Logic Calculator
Special Pages
Recent changes
User
Log in
Go
Search
Help
Evaluation View
Revision as of 08:50, 4 October 2011 by
Jens Bendisposto
(
talk
|
contribs
)
(
diff
)
← Older revision
|
Latest revision
(
diff
) |
Newer revision →
(
diff
)
This tutorial describes the use of ProB's evaluation view to explore single states of a model.
Contents
1
What is the Evaluation View?
2
Invoking the View
3
Filtering relevant information
4
Data Extraction
What is the Evaluation View?
Invoking the View
Filtering relevant information
Data Extraction