Data di Pubblicazione:
1992
Abstract:
We present methods and tools for the verification of behaviours of Lotos programs, based on the explicit construction of a finite automaton. We discuss a behaviour oriented style for Lotos that eases the construction of this model. We present the verification tools integrated in the lite tool set, and illustrate the approach with the full specification and analysis of a datagram protocol.
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Keywords:
Network protocol; Program verification; Specifying and Verifying and Reasoning about Programs; Process ; Parallelism; Concurrency; LOTOS; Transition System; Behavioural semantics; Automata; Model Checking
Elenco autori:
Gnesi, Stefania
Link alla scheda completa: