Articles liés

Articles avec le tag browser

Site

Catégories

Try Alt-Ergo in Your Browser

Auteurs: Mohamed Iguernlala
Date: 2014-07-15
Catégorie: Formal Methods
Tags: alt-ergo, browser, Try-Altergo, JavaScript

Recently, we worked on an online Javascript-based serverless version of the Alt-Ergo SMT solver. In what follows, we will explain the principle of this version of Alt-Ergo, show how it can be used on a realistic example and compare its performances with bytecode and native binaries of Alt-Ergo. Comp... (Lire plus)

Articles liés