[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

re: sophisticated dev/debug tools




>	development: Acme
>	debugging: wm/deb
>	specification and validation: Promela/spin

care to nominate vendors, contacts, etc?
is that it?