H ?
«
‹
←
→
›
»
Language peer sets for m-Verdi:
Canada↑
Canada/1988↑
Designed 1988 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑
m-Verdi(ID:3951/mve001)
alternate simple view
Country: Canada
Designed 1988
Verdi for m-Eves, precursor of EVES
(m-EVES and EVES were program proving systems, developed for Candian military)
Related languages
References:
Andrews, J.D. (1988) Andrews, J.D. "THE m-VERDI EVALUATION REPORT" Andyne Computing Ltd, Kingston ONT (CAN);
Abstract
Craigen, Dan; Kromodimoeljo, Sentot; Meisels, Irwi (1988) Craigen, Dan; Kromodimoeljo, Sentot; Meisels, Irwin; Neilson, Andy; Pase, Bill and Saaltink, Mark "m-EVES: A Tool for Verifying Software"
Abstract
Higginson, M.M.; Andrews, J.D. (1988) Higginson, M.M.; Andrews, J.D. "DISTRIBUTED SYSTEM DESIGN USING MASCOT AND M-VERDI" Andyne Computing Ltd, Kingston ONT (CAN) 15 Jun 1988
Abstract
Pase, B.; Kromodimoeljo, S.; Summerskill, K. (1989) Pase, B.; Kromodimoeljo, S.; Summerskill, K. "PORTING m-EVES TO COMMON LISP" IP Sharp Associates Ltd, Ottawa ONT (CAN) Final Report FR-89-5437-04; 15 Mar 1989
Abstract
Andrews, J.D. (1992) Andrews, J.D. "A Prototype m-Verdi/Ada Environment: A user's manual (Version 1.0)" Andyne Computing Ltd, Kingston ONT (CAN) 28/Sep/1992
Abstract
Online copy
Andrews, J.D. (1992) Andrews, J.D. "TOWARDS AN M-EVES-BASED FORMAL METHOD FOR M-VERDI/ADA PROCESS NETWORKS" Andyne Computing Ltd, Kingston ONT (CAN) 01 Sep 1992
Abstract
Online copy
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE 
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|