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