Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

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