On the verification of VDM specification and refinement with PVS

Proceedings of the IEEE International Automated Software Engineering Conference, ASE

Volumn , Issue , 1997, Pages 280-289

  Maharaj, Savi ^a   Bicarregui, Juan ^a  

^a UNIVERSITY OF STIRLING   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

PARALLEL PROCESSING SYSTEMS; RESOURCE ALLOCATION; SOFTWARE ENGINEERING;

NON TRIVIAL VALIDATIONS; SHALLOW EMBEDDING;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0031337269     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)