Alguien ha utilizado un ayudante de prueba para probar la solidez de un cálculo proceso escrita a máquina?

Question

... Y tienen que publicaron los resultados donde pueda permitirse el lujo de leerlos?

Answer 1

Ah, no es una prueba de la validez para el cálculo proceso subyacente al lenguaje de programación Imagen en la tesis de David N.Turner.

Answer 2

Hay varias personas que hacen cosas por el estilo. Mira a través de las ponencias en href="http://pvs.csl.sri.com/" rel="nofollow noreferrer"> PVS sitio documentos de Coq.

Citeseer probablemente hará una buena también - casi todo el mundo en la actualidad publica sus impresiones previas a Citeseer, por lo que un poco de mirar a su alrededor por lo general se obtiene el mismo papel, o algo muy muy similar al artículo publicado en la revista caro.

Answer 3

El Archivo de pruebas formales tiene varias entradas en la categoría "Proceso Cálculos" que aparece en su temas , como CCS y Pi Calculus.