Sophie Coudert

On the consistency of state machines, use cases and block diagrams using dependency graphs and Large Language Models

A combined approach for the automated detection and correction of inconsistencies in multi-view SysML models and suggests that the dependency graph-based technique is a relevant complement to the LLM-based one for identifying inconsistencies in logical dependencies between model elements.