An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems

Authors:
Rocco De Nicola;Alessandro Fantechi;Stefania Gnesi;Gioia Ristori
Affiliations:
-;-;-;-
Venue:
CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification
Year:
1991

Equational reasoning about LOTOS specifications: a rewriting approach

IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Formal framework and necessary properties of the fusion of input modes in user interfaces

Interacting with Computers
Formally assessing software modifiability

FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
Using LOTOS for the evaluation of design options in the PREMO standard

2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods

Hi-index	0.00