Language-Based Program Verification via Expressive Types

by Sulzmann, M., Voicu, R.
Published 2013

Framework for combining analysis and verification

by Heintze, N., Jaffar, J., Voicu, R.
Published 2013

A CLP proof method for timed automata

by Jaffar, J., Santosa, A., Voicu, R.
Published 2013

Modeling systems in CLP

by Jaffar, J., Santosa, A.E., Voicu, R.
Published 2013

A CLP method for compositional and intermittent predicate abstraction

by Jaffar, J., Santosa, A.E., Voicu, R.
Published 2013

Relative safety

by Jaffar, J., Santosa, A.E., Voicu, R.
Published 2013

An interpolation method for CLP traversal

by Jaffar, J., Santosa, A.E., Voicu, R.
Published 2013

A coinduction rule for entailment of recursively defined properties

by Jaffar, J., Santosa, A.E., Voicu, R.
Published 2013

Efficient memoization for dynamic programming with ad-hoc constraints

by Jaffar, J., Santosa, A.E., Voicu, R.
Published 2013

A proof slicing framework for program verification

by Le, T.C., Gherghina, C., Voicu, R., Chin, W.-N.
Published 2014

A specialization calculus for pruning disjunctive predicates to support verification

by Chin, W.-N., Gherghina, C., Voicu, R., Le, Q.L., Craciun, F., Qin, S.
Published 2013