Dynamic analysis of SA/RT models using SPIN and modular verification

  1. Javier Tuya 1
  2. José R. de Diego 1
  3. Claudio de la Riva 1
  4. José A. Corrales 1
  1. 1 Universidad de Oviedo
    info

    Universidad de Oviedo

    Oviedo, España

    ROR https://ror.org/006gksa02

Proceedings:
2nd. Workshop on the SPIN Verification System

Publisher: American Mathematical Society

ISBN: 0821806807,  9780821806807

Year of publication: 1996

Pages: 165-183

Congress: Workshop on the SPIN Verification System (2. 1996. New Brunswick, Canadá)

Type: Conference paper

GOOGLE SCHOLAR