infChecker

Infeasibility Checker for Conditional Rewrite Systems

Description

Web Interface

Input Program

Select a file to upload, try an example or paste your code un the following text area:

Select timeout in seconds (1 <= timeout <= 300):

Select model generator:

Results


        

Related Publications