Efficient On-the-Fly Model Checking for LTL and CTL★.

University courses, projects and homeworks

Code of my talk at EASS 2023

The Augusta University ForML Lab Website

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

Slides of my talk at EASS 2023

Simple proof assistant written in OCaml.

🎫 Personal repo untuk arsip praktikum LogKom

Logica computazionale A.A. 2022/23

👩🏻‍💻 Program and simulate computational logic circuits using Python.

Computational Logic Formula Solver - programmatically simplifies propositional and predicate logic formulas

Permainan Global Conquest adalah sebuah game strategi yang dibuat menggunakan bahasa pemrograman deklaratif Prolog (GNU Prolog).

Tugas Besar Logika Komputasional 2021/2022

A project of a computational logic calculator based on college studies.

Here you can find some exercises about introduction to programming in C++ language.

Computational Logic - A monopoly board based tycoon game.

Codes related to a study of spatiotemporally invariant patterns in systems of coupled relaxation oscillators, and their potential use in computational logic.

🎚️ Binary logic signal research.