Artificial Intelligence (AI) and data are reshaping organizations businesses. Human Resources (HR) management talent development make no exception, as they tend to involve more automation growing quantities of data. Because this brings implications on workforce, career transparency, equal opportunities, overseeing what fuels AI analytical models, their quality standards, integrity, correctness ...

This paper discusses a Unified Modelling Language (UML) based formal verification methodology for early error detection in the model-based software development cycle. Our approach proposes UML-based process utilising functional and behavioural modelling artifacts of UML. It reinforces these with model transition property verification. The main contribution is UML to Labelled Transition System (...

Abstract UCLID5 is a tool for the multi-modal formal modeling, verification, and synthesis of systems. It enables one to tackle verification problems heterogeneous systems such as combinations hardware software, or those that have multiple, varied specifications, require hybrid modes modeling. A novel aspect an emphasis on use syntax-guided inductive automate steps in modeling verification. Thi...

We study implementation in environments where agents have limited ability to imitate others. Agents are randomly and privately endowed with type-dependent sets of messages. So sending a message becomes a partial proof regarding type. For environments where agents can send any combination of available messages, we develop an Extended Revelation Principle and characterize the incentive constraint...