Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
phantm [2012/10/05 13:11]
ekneuss
phantm [2015/02/22 14:01] (current)
ekneuss [Online Demo]
Line 19: Line 19:
  
  
-===== Online Demo ===== 
-The easiest way to play with Phantm is to try it on the [[http://​phantm.croustillant.ch/​|live demo site]]. It also contains multiple predefined scripts highlighting important features of Phantm. 
  
 ===== Getting started ===== ===== Getting started =====
 
phantm.txt · Last modified: 2015/02/22 14:01 by ekneuss
 
© EPFL 2018 - Legal notice