Formalization of Refinement Calculus for Reactive Systems
by Viorel Preoteasa
Viorel Preoteasa
2014
2011
Pseudo Hoops
by George Georgescu, Laurentiu Leustean and Viorel Preoteasa
Algebra of Monotonic Boolean Transformers
by Viorel Preoteasa
2010
Verification of the Deutsch-Schorr-Waite Graph Marking Algorithm using Data Refinement
by Viorel Preoteasa and Ralph-Johan Back
Semantics and Data Refinement of Invariant Based Programs
by Viorel Preoteasa and Ralph-Johan Back