Automating Physics-Based Reasoning for SysML Model Validation

Candice Chambers, Summer Mueller, Parth Ganeriwala +2

System and software design benefits greatly from formal modeling, allowing for automated analysis and verification early in the design phase. Current methods excel at checking info…