( en | de | ru )

 

Disambiguation of "Preoteasa, Viorel"

Author of the publication

copydeleteadd this publication to your clipboard
Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic.

. FM, volume 4085 of Lecture Notes in Computer Science, page 508-523. Springer, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Viorel Mehedinţu

Viorel Vâjâitu

Viorel Roman

Viorel Duma

Viorel Mocanu

 

Other publications of authors with the same name

Lattice Properties.. Arch. Formal Proofs, (2011)Formal proof development.Invariant diagrams with data refinement., and . Formal Aspects Comput., 24 (1): 67-95 (2012)Verification and code generation for invariant diagrams in Isabelle., , and . J. Log. Algebraic Methods Program., 84 (1): 19-36 (2015)Reasoning about recursive procedures with parameters., and . MERLIN, ACM, (2003)Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic.. FM, volume 4085 of Lecture Notes in Computer Science, page 508-523. Springer, (2006)Verifying Pointer Programs Using Separation Logic and Invariant Based Programming in Isabelle.. IFM, volume 9681 of Lecture Notes in Computer Science, page 457-473. Springer, (2016)Semantics and Data Refinement of Invariant Based Programs., and . Arch. Formal Proofs, (2010)Formal proof development.Pseudo Hoops., , and . Arch. Formal Proofs, (2011)Formal proof development.Verification of the Deutsch-Schorr-Waite Graph Marking Algorithm using Data Refinement., and . Arch. Formal Proofs, (2010)Formal proof development.Frame rule for mutually recursive procedures manipulating pointers.. Theor. Comput. Sci., 410 (42): 4216-4233 (2009)