Preguntas etiquetadas con formal-modeling

13
¿Cuáles son las propiedades prácticamente computables de los sistemas de transición etiquetados?

Encontré que los sistemas de transición etiquetados son un buen modelo para mi aplicación, es decir, hay un documento sobre modelos de casos de uso con LTS. La pregunta es, ¿qué se puede probar fácilmente sobre los LTS? Me gustaría reutilizar las soluciones existentes para ver si son útiles para mi...

11
¿Qué paradigma de la demostración automatizada de teoremas es apropiado para la formalización al estilo Principia Mathematica?

Estoy en posesión de un libro que, inspirado en los Principia Mathematica (PM) de Russell y el positivismo lógico, intenta formalizar un dominio específico determinando axiomas y deduciendo teoremas de ellos. En resumen, intenta hacer por su dominio lo que PM intentó hacer por las matemáticas. Al...