Automated SysML-Based Verification of Discipline-Specific Models

Daniel Marley, Siyuan Ji

Current examples of SysML-based verification of discipline-specific models in the literature typically have two flaws. Firstly, they are developed in a tool-specific manner using p…