![این مقاله در پایگاه ساینس دایرکت منتشر شده است Elsevier - ScienceDirect - الزویر - ساینس دایرکت](/assets/img/Elsevier-Logo.png)
Executable formal specifications of complex distributed systems with CoreASM
Keywords: روشهای صوری، روشها رسمی; Formal methods; Specification and modeling environment; Extensible language; Abstract state machines; CoreASM