Resilience

Syntheto: A Surface Language for APT and ACL2
Syntheto is a surface language for carrying out formally verified program synthesis by transformational refinement in ACL2 using the …
Alessandro Coglio, Eric McCarthy, Stephen Westfold, Daniel Balasubramanian, Abhishek Dubey, Gabor Karsai
Cite DOI URL
Model-Based Intent-Driven Adaptive Software (MIDAS)
The increasing complexity of software systems makes the rapid propagation of requirement changes into the design and implementation …
Gabor Karsai, Alessandro Coglio, Abhishek Dubey
Cite