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