Implementation and Behavioural Equivalence: A Survey

Authors:
Fernando Orejas;Marisa Navarro;Ana Sánchez
Affiliations:
-;-;-
Venue:
Selected papers from the 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop on Recent Trends in Data Type Specification
Year:
1991

From Informal Requirements to COOP: A Concurrent Automata Approach

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Integration Testing from Structured First-Order Specifications via Deduction Modulo

ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
Testing data types implementations from algebraic specifications

Formal methods and testing
Externalized and internalized notions of behavioral refinement

ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing

Hi-index	0.00