Publication:4531757
From MaRDI portal
zbMath0985.68665MaRDI QIDQ4531757
Alice Ann Miller, Muffy Calder
Publication date: 23 May 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2057/20570143
distributed systems; feature interaction; communicating processes; formal modelling; telecommunications services; analysis and reasoning techniques; Promela/SPIN
68U99: Computing methodologies and applications
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Feature interaction detection by pairwise analysis of LTL properties -- A case study, An automatic abstraction technique for verifying featured, parameterised systems
Uses Software