Formal Model Research Group

2024

GenRex: Generator of Regular Expressions, software, 2024
Authors: KOLÁŘ, D.; MILKOVIČ, M.; REGÉCIOVÁ, D.

2023

Extractor, software, 2023
Authors: REGÉCIOVÁ, D.; KOLÁŘ, D.; PLUSKAL, J.

2022

Membership solver for Watson-Crick Context-free Grammars, software, 2022
Authors: HAMMER, J.; KŘIVKA, Z.

2015

LLk Parsing Table Generator, software, 2015
Authors: KOCMAN, R.; KOLÁŘ, D.

2013

PicoBlaze Instruction Simulator, software, 2013
Authors: ŠIMEK, J.; KŘIVKA, Z.

2011

Integrated Development Environment VLAM, software, 2011
Authors: KŘIVKA, Z.; JIRÁK, O.; VAŠÍČEK, Z.; OLŠAROVÁ, N.

2009

PicoBlaze C Compiler, software, 2009
Authors: KŘIVKA, Z.