Open vprevosto opened 7 years ago
Should ACSL incorporate extension to other specification formalisms such as
pre
Such extension could include support for JML's history constraints.
Related work:
Should ACSL incorporate extension to other specification formalisms such as
pre
) and flow of valuesSuch extension could include support for JML's history constraints.
Related work: