Efficient On-the-Fly Model Checking for LTL and CTL★.
University courses, projects and homeworks
Code of my talk at EASS 2023
Resolução do trabalho prático 4 da UC Lógica Computacional. Temos 2 problemas, um problema relacionado com Verificação Formal de Software e outro problema relacionado com Sistemas Híbridos
Simple proof assistant written in OCaml.
Representación simbólica y clasificación de proposiciones: variables proposicionales, conectivas lógicas, tablas de verdad, tautologías, contradicciones y contingencias. Lógica Computacional, Ingeniería Informática.
Specification and client examples for the Byt-Wyze SAT Maker API (deterministic CES-weighted SAT instance generator).
A formally verified semantic kernel and research seed for describing, proving, and normalising typed action sequences and scheduling policies.
Slides of my talk at EASS 2023
Guias de estudio, ejercicios practicos y talleres de cursos clave de Ingenieria de Sistemas: Logica y Programacion en Python y Matematicas Discretas.
Estrategias de formalización para la lógica de predicados de primer orden (LPO): traducción lenguaje natural-LPO, cuantificadores, instanciación y demostración de fórmulas. Lógica Computacional, Ingeniería Informática.
A Python script that leverages the datetime module and custom astrological date mappings to determine the current zodiac sign and print a birthday greeting.
Deterministic SAT APIs, CNF preprocessing tools, and reproducible research standards.
🌐 Explore a living glossary of key terms and protocols that support the Lexicoding system for decoding reality and authoring timelines.
Collection of assignments covering propositional logic, predicate logic, formal reasoning, and computational logic developed for the Foundations of Logic course.
Satisfiability of boolean formulas
Permainan Global Conquest adalah sebuah game strategi yang dibuat menggunakan bahasa pemrograman deklaratif Prolog (GNU Prolog).
A project of a computational logic calculator based on college studies.
Project for Computational Logic (Semester 2 24/25), creating CLI based Pokemon game with Prolog.
Add a description, image, and links to the computational-logic topic page so that developers can more easily learn about it.
To associate your repository with the computational-logic topic, visit your repo's landing page and select "manage topics."