Warning: system() has been disabled for security reasons in /var/www/alternc/l/lagon/laure/pro/demopage/vaphor/include/pages/config.php on line 157

Warning: system() has been disabled for security reasons in /var/www/alternc/l/lagon/laure/pro/demopage/vaphor/include/pages/config.php on line 296
VAPHOR DEMO webpage


This converter transforms programs in Mini-Java Syntax into Horn Clauses (SMTLIB Syntax)


> Our SAS 2016 Paper on HAL

> All the Benchmarks in Mini-Java Syntax

Type the code in the box above or select a MINI-JAVA file to upload. ?