Compositional Learning for Synchronous Parallel Automata

software

posted on 2025-01-28, 23:31 authored by Aryan BastanyAryan Bastany

This repository contains the source codes and results of "Compositional Learning for Synchronous Parallel Automata" or "SCL-Star". This tool is implemented in Java, on top of the LaernLib framework, a state-of-the-art library for automata learning.

Refer to the "README.md" file for more information

History

Usage metrics

Keywords

automata learning Formal methods Formal methods for software Finite state machine synchroneity

Licence

MIT

Compositional Learning for Synchronous Parallel Automata

History

Usage metrics

Categories

Keywords

Licence

Exports