Travelled to:
1 × Canada
1 × Taiwan
Collaborated with:
R.Back ∅
Talks about:
procedur (1) program (1) pointer (1) manipul (1) semant (1) recurs (1) mechan (1) invari (1) verif (1) separ (1)
Person: Viorel Preoteasa
DBLP: Preoteasa:Viorel
Contributed to:
Wrote 2 papers:
- SAC-2011-BackP #invariant #proving #semantics #source code
- Semantics and proof rules of invariant based programs (RJB, VP), pp. 1658–1665.
- FM-2006-Preoteasa #logic #pointer #recursion #using #verification
- Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic (VP), pp. 508–523.