Spinroot

A forum for Spin users

You are not logged in.

#1 2011-03-19 09:22:37

jiong
Member
From: China
Registered: 2011-01-27
Posts: 30

SPIN vs. Zing

Hi,
Anyone has experiences with Zing ([url]http://research.microsoft.com/en-us/projects/zing/[/url]) and how does it compare with SPIN in terms of efficiency of state exploration and ease of C language mapping?
I took a quick look at its manual ([url]http://research.microsoft.com/en-us/projects/zing/zinglanguagespecification.pdf[/url]) and its language seems more expressive than Promela. It supports function calls and modular programming. Thanks!

Jiong

Offline

Board footer

Powered by FluxBB