research
∙
11/22/2022
Reversible Programming: A Case Study of Two String-Matching Algorithms
String matching is a fundamental problem in algorithm. This study examin...
share
research
∙
09/07/2021
An Inversion Tool for Conditional Term Rewriting Systems – A Case Study of Ackermann Inversion
We report on an inversion tool for a class of oriented conditional const...
research
∙
08/07/2020
An Experiment Combining Specialization with Abstract Interpretation
It was previously shown that control-flow refinement can be achieved by ...
research
∙
03/27/2018
An Experiment in Ping-Pong Protocol Verification by Nondeterministic Pushdown Automata
An experiment is described that confirms the security of a well-studied ...
research
∙
10/10/2017