Inspec keywords: computability; Unified Modeling Language; Boolean functions; formal verification

Other keywords: behavioural UML/OCL model; structural UML/OCL model; Boolean satisfiability; Unified Modelling Language/Object Constraint Language model; validation task; formal verification techniques; satisfiability solvers; symbolic formulation; off-the-shelf solvers

Subjects: Formal logic; Formal methods