ProBE animator
E440675
ProBE animator is a software tool used to simulate and visualize the behavior of systems specified using Communicating Sequential Processes (CSP).
Statements (38)
| Predicate | Object |
|---|---|
| instanceOf |
CSP animator
ⓘ
software tool ⓘ |
| abbreviationOf | Process Behaviour Explorer NERFINISHED ⓘ |
| domain |
concurrency theory
ⓘ
formal methods ⓘ model-based verification ⓘ |
| goal |
assist in detecting modeling errors in CSP specifications
ⓘ
improve understanding of CSP models ⓘ support analysis of concurrent behavior ⓘ |
| hasFeature |
backtracking along traces
ⓘ
graphical or textual trace display ⓘ inspection of enabled events ⓘ interactive user control of execution ⓘ |
| inputLanguage | CSP NERFINISHED ⓘ |
| purpose |
explore execution traces of CSP models
ⓘ
simulate behavior of CSP processes ⓘ visualize behavior of CSP systems ⓘ |
| relatedTo |
CSP refinement checking
ⓘ
FDR model checker NERFINISHED ⓘ |
| represents |
events in CSP traces
ⓘ
states of CSP processes ⓘ |
| supportsFormalism | Communicating Sequential Processes NERFINISHED ⓘ |
| supportsTask |
checking possible next events
ⓘ
exploring deadlock situations ⓘ exploring nondeterministic choices ⓘ interactive exploration of process choices ⓘ stepwise execution of CSP processes ⓘ visualization of event traces ⓘ |
| usedBy |
engineers modeling concurrent systems
ⓘ
researchers in formal methods ⓘ students learning CSP ⓘ |
| usedFor |
animation of CSP specifications
ⓘ
debugging CSP models ⓘ demonstrating concurrent system behaviors ⓘ teaching CSP concepts ⓘ |
| visualizes |
communication events
ⓘ
execution paths of CSP systems ⓘ synchronization between CSP processes ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.