4 citations · 10 across the 8 of their papers we have counts for
1 paper · 1 filter
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…