DOE OSTI2017Modeling and Implementation Of Variable Structural Dynamics for Software Verification.Abstract not provided.Bigelow, Matthew↗