El software se desarrolló en el marco del proyecto Desarrollo de metodologías de verificación para componentes de software de sistemas relevantes para la seguridad (VESE) realizado por la empresa INVAP, la Universidad Nacional de Río Negro (UNRN - Sede Andina), el Instituto de Ciencias de la Computación (ICC) (Departamento de Computación, Facultad de Ciencias Exactas y Naturales (FCEN) y UBA/CONICET) y la Fundación Dr. Manuel Sadosky.
El objetivo del proyecto fue adaptar diversas técnicas de verificación de software, utilizando lenguajes y procesos de diseño para garantizar sistémicamente el correcto funcionamiento de componentes críticos. Se creó un lenguaje de descripción de alto nivel analizable con las herramientas de verificación desarrolladas, permitiendo la síntesis de código ejecutable que hereda las propiedades verificadas durante su diseño.
Link al video de presentación del proyecto: https://youtu.be/ZH7YDlMriK8
Copyright (c) 2024 IN VAP
Copyright (c) 2024 Fundacion Sadosky
This software is licensed under the Affero General Public License (AGPL) v3. If you use this software in a non-profit context, you can use the AGPL v3 license.
If you want to include this software in a paid product or service, you must negotiate a commercial license by contacting us at info@fundacionsadosky.org.ar