En pocas palabras, un método formal es un enfoque para diseñar software de computadora de tal manera que pueda establecer con certeza si hay efectos secundarios, estados lógicos imprevistos, inconsistencias entre lo que se espera y lo que se produce, condiciones imposibles y otras Paradojas variadas.
Típicamente, los métodos formales usan alguna combinación de lógica de primer orden, lógica de orden superior y teoría de conjuntos. Ha avanzado mucho a lo largo de los años, aunque todavía tiene dificultades con los objetos y el paralelismo. Los métodos formales aún no existen para una variedad de escenarios no deterministas, por lo que no puede tratar con controladores de excepciones y algunos otros casos. El sitio web de Spark 2014 detalla todas las cosas que tuvieron que cortar del lenguaje porque no existen métodos formales para ellos.
La mayoría de los lugares no usan métodos formales. Se usa para los sistemas operativos A1 / EAL7 (el nivel más alto de confianza) y se presume que se usa en la aviación y los programas espaciales, pero no estoy desembolsando $ 400 para comprar las especificaciones con el único propósito de responder esta pregunta.
- ¿Cómo se llama la suma, resta, multiplicación y división?
- Cómo encontrar la suma de la serie [matemática] \ sum \ limits_ {n = 1} ^ {\ infty} \ frac {(- 1) ^ n} {n (4n ^ 2-1)} [/ math]
- Procesamiento de señal digital: ¿Cómo comprende geométricamente que la proyección ortogonal durante la aproximación de mínimos cuadrados tiene un error de norma mínima?
- ¿Cómo se convirtió David Yang en un genio de las matemáticas?
- ¿Qué es 1 + 1?