Galleta

Cookies

El sitio web de la UCLM utiliza cookies propias y de terceros con fines técnicos y de análisis.

Aviso de Cookies





  •   NOTICIAS

    • Generación automática de pruebas basadas en
    propiedades para la verificación de algoritmos cuánticos

    18 de Septiembre del 2023




    En la imagen Antonio García de la Barrera Amo



    Nuestros compañeros Antonio García de la Barrera Amo, Manuel Ángel Serrano, Ignacio García, Macario Polo y Mario Piattini han presentado el trabajo “Generación automática de pruebas basadas en propiedades para la verificación de algoritmos cuánticos” en la conferencia JISBD 2023 (XXVII Jornadas de Ingeniería del Software y Bases de Datos) celebradas en Ciudad Real, del 12 al 14 de septiembre de 2023.

    Esta investigación puede aplicarse en el futuro para completar QuantumPath ® (la plataforma de aplicaciones de desarrollo y ciclo de vida del software cuántico).

  •   Ir a Noticias