5 citations · 9 across the 12 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
cs.LO2018
The Boyer-Moore Waterfall Model Revisited
Petros Papapanagiotou, Jacques Fleuriot
In this paper, we investigate the potential of the Boyer-Moore waterfall model for the automation of inductive proofs within a modern proof assistant. We analyze the basic concepts…
cs.PL2018
A Pragmatic, Scalable Approach to Correct-by-construction Process Composition Using Classical Linear Logic Inference
Petros Papapanagiotou, Jacques Fleuriot
The need for rigorous process composition is encountered in many situations pertaining to the development and analysis of complex systems. We discuss the use of Classical Linear Lo…
cs.LO2018
Correct by Construction Resource-based Process Composition
Petros Papapanagiotou, Jacques Fleuriot
The need for rigorous process composition is encountered in many situations pertaining to the development and analysis of complex systems. We discuss the use of Classical Linear Lo…