Agregatinių specifikacijų verifikavimas transformuojant jas į baigtinius automatus
The ultimate goal of SPIN and indeed of all testing or validation methodology is to demonstrate, with a certain degree of confidence, that a proposed design or implementation meets its requirements. SPIN is a tool to simulate and validate Protocols. Promela, its source language, is a formal descript...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Dissertation |
| Language: | Lithuanian |
| Published: |
Lithuanian Academic Libraries Network (LABT)
2006
|
| Subjects: | |
| Online Access: | http://vddb.library.lt/fedora/get/LT-eLABa-0001:E.02~2006~D_20060605_231233-92570/DS.005.0.02.ETD |