Masaki Waga

EMSOFT 2026 artifact for Specification-Guided Path Shortcutting (linux/amd64)

A tool for SYmbolic MONitoring

Tool for timed patten matching with automata-based acceleration

Test environment for MONAA

A translator from a timed automaton for monaa to an IMITATOR model

Translate a timed regular expression to a model of IMITATOR

Translate a timed regular expression to a timed automaton

test env for tgrep

RE2 and Boost on Xenial

RE2 and boost environment in Arch Linux

Frama-C

TeX Live image on Arch Linux

An openbox environment on Arch Linux

DIVINE is a modern, explicit-state model checker.

Montre (https://github.com/doganulus/montre) environment developed on Arch Linux

A PURE lang ( https://purelang.bitbucket.io/ ) environment on Arch Linux