ITA | ENG | Login
Validation Platform,  REGIS lab

AVANTSSAR Platform Web Services

The AVANTSSAR Validation Platform is implemented as a Service-Oriented Architecture (SOA) where each component is offered as a Web Service (WS). The following Web Services are currently hosted by UniVr:  

OFMC WSDL
OF2XML WSDL

CLIENTS for testing the Web Services wich will be used in the AVANTSSAR Platform:

  • Stable

    • the inclusion of the AnB module: this allows to write protocols in the intuitive Alice and Bob notation

    • output for the Isabelle/OFMC backend to generate proofs for the theorem prover Isabelle (see Isabelle/OFMC package)

  • AVANTSSAR

    • HC suppport


NEWS