Language-Based Program Verification via Expressive Types

由 Sulzmann, M., Voicu, R.
出版 2013

A CLP proof method for timed automata

由 Jaffar, J., Santosa, A., Voicu, R.
出版 2013

Framework for combining analysis and verification

由 Heintze, N., Jaffar, J., Voicu, R.
出版 2013

Relative safety

由 Jaffar, J., Santosa, A.E., Voicu, R.
出版 2013

Modeling systems in CLP

由 Jaffar, J., Santosa, A.E., Voicu, R.
出版 2013

A CLP method for compositional and intermittent predicate abstraction

由 Jaffar, J., Santosa, A.E., Voicu, R.
出版 2013

Efficient memoization for dynamic programming with ad-hoc constraints

由 Jaffar, J., Santosa, A.E., Voicu, R.
出版 2013

An interpolation method for CLP traversal

由 Jaffar, J., Santosa, A.E., Voicu, R.
出版 2013

A coinduction rule for entailment of recursively defined properties

由 Jaffar, J., Santosa, A.E., Voicu, R.
出版 2013

A proof slicing framework for program verification

由 Le, T.C., Gherghina, C., Voicu, R., Chin, W.-N.
出版 2014

A specialization calculus for pruning disjunctive predicates to support verification

由 Chin, W.-N., Gherghina, C., Voicu, R., Le, Q.L., Craciun, F., Qin, S.
出版 2013