Preoteasa, Viorel

name

• Preoteasa, Viorel

Authored works

• Mechanical verification of mutually recursive procedures for parsing expressions using separation logic
• Mechanical verification of recursive procedures manipulating pointers using separation logic
• Program variables : the core of mechanical reasoning about imperative programs
• Refinement of recursive procedures with parameters in PVS

Works contributed to

• A python specification of the Tkinter Text-widget
• Reasoning about pointers in refinement calculus
• Reasoning about recursive procedures with parameters

Works about Preoteasa, Viorel