The Department of Software Engineering is offering the Verified Security and Performance Enhancement of Large Legacy Software (V-SPELLS) Grant to enable incremental modernization and verification of legacy systems.
SynopsisVersion HistoryRelated DocumentsPackage This grant is for the V-SPELLS program, aiming to develop practical tools that enable developers to incrementally enhance large legacy software systems. The core purpose is to create verified code components that are both correct-by-construction and safely composable, allowing for piece-by-piece modernization without full system redesign. These tools will integrate formal software verification into iterative development, reducing the risks associated with modifying complex existing systems. By enabling incremental [...]