Efficient On-the-Fly Model Checking for LTL and CTL★.
University courses, projects and homeworks
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
Code of my talk at EASS 2023
Interactive glossary for Lexicoding™ semantic architecture
Simple proof assistant written in OCaml.
Slides of my talk at EASS 2023
Satisfiability of boolean formulas
Project for Computational Logic (Semester 2 24/25), creating CLI based Pokemon game with Prolog.
Permainan Global Conquest adalah sebuah game strategi yang dibuat menggunakan bahasa pemrograman deklaratif Prolog (GNU Prolog).
Computational Logic - A monopoly board based tycoon game.
A project of a computational logic calculator based on college studies.
Computational Logic Formula Solver - programmatically simplifies propositional and predicate logic formulas
Here you can find some exercises about introduction to programming in C++ language.
🌐 Explore a living glossary of key terms and protocols that support the Lexicoding system for decoding reality and authoring timelines.
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."