![این مقاله در پایگاه ساینس دایرکت منتشر شده است Elsevier - ScienceDirect - الزویر - ساینس دایرکت](/assets/img/Elsevier-Logo.png)
How the design of JML accommodates both runtime assertion checking and formal verification
Keywords: روشهای صوری، روشها رسمی; Specification languages; Runtime assertion checking; Formal methods; Program verification; Programming by contract; Java language; JML language;