A program for playing chess in the terminal, written in Rust

A simple model checking program for CTL developed for the course of Metodi Formali Per la Verifica di Sistemi.

Systemctl for centos.

A Java library that allows you to check whether a given transition system (described as a Kripke structure) satisfies a given computation tree logic (CTL) formula.

A command line tool to interact with klovercloud-cd-cd api

A generic bounded model checker.

JWT Generator/Reader CLI

Command line tool for model checking using LTL, CTL and CTL* formulas

Better than a2ensite!

This is a simple command line interface (CLI) to fetch the recent activity of a GitHub user and display it in the terminal.

Launch & use a graviton instance in 5 seconds.

In this repository you can find all of my projects for Verification of Reactive Systems Course when I was in 2nd semester of my master's at SUT.

Computer Scientist Master Degree - Thesis Work

CLI tool for Autify API operation

Task tracker is a project used to track and manage your tasks. You can use a simple command line interface (CLI) to track what you need to do, what you have done, and what you are currently working on.

This repo contains the project files for model checking robotic systems considering environmental constraints.

Logic in Computer Science 2018/2019

An abbreviation of common linux command-line utilities into one ctl

golang sequential startup framework