CNR Institutional Research Information System

In this paper we present an equalional approach to the verification of concurrent systems specified in the ISO specification language LOTOS. The approach is based on term rewriting techniques. The kind of reasoning and verification strategies which can be performed are illustrated through two examples.

Equational reasoning about LOTOS specifications: A rewriting approach

1991

Abstract

In this paper we present an equalional approach to the verification of concurrent systems specified in the ISO specification language LOTOS. The approach is based on term rewriting techniques. The kind of reasoning and verification strategies which can be performed are illustrated through two examples.
1991
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Inglese
6th International Workshop on Software Specification and Design
148
155
http://www.scopus.com/inward/record.url?eid=2-s2.0-84910852697&partnerID=q2rCbXpz
Sì, ma tipo non specificato
October 25-26 1991
Como, Italy
LOTOS
Codice Puma: /cnr.iei/1991-A2-029
2-s2.0-84910852697
0
restricted
Nicola R. D.; Inverardi P.; Nesi M.
273
info:eu-repo/semantics/conferenceObject
04 Contributo in convegno::04.01 Contributo in Atti di convegno
04.01 Contributo in Atti di convegno
File in questo prodotto:
File Dimensione Formato  
prod_449284-doc_161991.pdf

solo utenti autorizzati

Descrizione: Equational reasoning about lotos specifications : a rewriting approach
Tipologia: Versione Editoriale (PDF)
Dimensione 562.51 kB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
562.51 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/427894
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? ND
social impact