-
pair,
1, 2
-
parameter,
1, 2
-
partition,
1
-
pending,
1
-
perspective,
-
customisation,
1
-
Event-B,
1
-
proving,
1
-
plus (
),
1
-
post-tactic,
1
-
post-tactics,
1
-
predicate,
1
-
predicate logic,
1
-
preferences,
1
-
prefix,
1
-
profile,
1
-
tactics,
1, 2
-
pretty print,
1
-
ProB,
1, 2
-
product,
-
direct product of relations (
),
1
-
of integers (
),
1
-
parallel product of relations (
),
1
-
project,
1, 2, 3
-
projection (
, ),
1
-
proof control view,
1
-
proof obligation,
1
-
action feasibility (FIS),
1
-
action simulation (SIM),
1
-
axiom as theorem (THM),
1
-
equality of a preserved variable (EQL),
1
-
generation,
1
-
guard as theorem (THM),
1
-
guard strengthening (GRD),
1
-
invariant as theorem (THM),
1
-
invariant preservation (INV),
1
-
merging events (MRG),
1
-
well-definedness of a guard (WD),
1
-
well-definedness of a variant (VWD),
1
-
well-definedness of a witness (WWD),
1
-
well-definedness in an action (WD),
1
-
well-definedness of an axiom (WD),
1
-
well-def. of an invariant (WD),
1
-
witness feasibility (WFIS),
1
|
-
ProR Requirements Tool,
1
-
proving,
1, 2, 3
-
perspective,
1
-
proof obligation,
1
-
proof rule,
1
-
proof tactics,
1
-
provers,
1
-
pruning,
1
-
purging,
1
-
simplifying,
1
-
the proof tree,
1
-
purging proofs,
1
|