RunverSPACE

Verification for Space Software Architectures

RunverSPACE (PI: Christos Tsigkanos) addresses the systematic engineering of contemporary small-scale flight- and space- software, arguing that integrating verification facilities is crucial. Addressing fundamental challenges of bringing such a goal to runtime and for next generation mission operations has the potential of significant disruption.