Verification Methodology For LOTOS Specification

Article View: comp.specification

Article #86

Back to comp.specification Previous Next

#86

From: Alfred Yau
Date: Mon, 17 Aug 1992 09:44

5 lines
517 bytes

I would like to know from anyone regarding methodology for verification
of protocols in LOTOS. Is it similar to the CCS verification methodogy ?  
Thank....

Alfred Yau

Technical Details

Message-ID: <s897461.714044661@numbat>

Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!goanna!numbat!s897461

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!goanna!numbat!s897461
From: s897461@numbat.cs.rmit.OZ.AU (Alfred Yau)
Newsgroups: comp.specification
Subject: Verification Methodology For LOTOS Specification
Keywords: LOTOS Verification
Message-ID: <s897461.714044661@numbat>
Date: 17 Aug 92 09:44:21 GMT
Sender: news@goanna.cs.rmit.oz.au
Lines: 5