SPIN model checker

• Subject: SPIN model checker
• From: Brian Ross <email@hidden>
• Date: Thu, 24 Oct 2002 17:05:13 GMT

Hello all,

Has anyone been successful in porting the SPIN model checker? I've 
heard there can be problems with the C code generated by SPIN.

regards,

Brian Ross
_______________________________________________
unix-porting mailing list | email@hidden
Help/Unsubscribe/Archives: http://www.lists.apple.com/mailman/listinfo/unix-porting
Do not post admin requests to the list. They will be ignored.

• Prev by Date: concerning shmget size limit
• Next by Date: Missing lib ...Need help
• Previous by thread: concerning shmget size limit
• Next by thread: Missing lib ...Need help
• Index(es):
  • Date
  • Thread