Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement
Zhang, Teng, Wiegley, John, Giannakopoulos, Theophilos, Eakman, Gregory, Pit-Claudel, Clément, Lee, Insup, Sokolsky, Oleg
Published in Dependable Software Engineering. Theories, Tools, and Applications
Published in Dependable Software Engineering. Theories, Tools, and Applications
Get full text
Book Chapter
Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code
Breitner, Joachim, Spector-Zabusky, Antal, Li, Yao, Rizkallah, Christine, Wiegley, John, Weirich, Stephanie
Year of Publication 19.03.2018
Year of Publication 19.03.2018
Get full text
Journal Article