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