¿Alguien conoce algún ejemplo de lo siguiente? desarrollos de prueba sobre regular expressions (posiblemente extendidos con backreferences) en asistentes de prueba (tales como Coq). Programas en idiom
Los algoritmos de subprocesamiento múltiple son especialmente difíciles de diseñar/depurar/probar. El algoritmo de Dekker es un excelente ejemplo de lo difícil que puede ser diseñar un algoritmo sincr