tclal — Timed Concurrent Language for Argumentation with Local Stores

Program workbench

Example

tclal program

Execution options

Initial n-AF Optional JSON file containing the initial global and local stores. Seed Use a fixed value to reproduce nondeterministic choices. Maximum steps Maximum transitions in one computation. Maximum computations Maximum computations explored for observables.

Ready. Write or select a tclal program.

Execution trace

Not started

Run a program to inspect its execution trace.

Selected step: —
Status: —
Available successors: —
Timeouts: —

Applied transition

No transition available.

No operation available.

Current process

No process available.

State inspector

— agents

Display

Framework

Arguments

No arguments available.

Attacks

No attacks available.

The graph will appear here.

Observables

Explore the computations of a program to obtain its observable global stores.

Back to program