TLA-Prover: Síntesis verificable de TLA+ con optimización por preferencias
Descubre TLA-Prover, el modelo de IA que sintetiza especificaciones TLA+ verificables con un 30% de tasa de éxito, superando en 3.5x a los modelos previos.
#síntesis de especificaciones