Internal Area






Lost Password?
The AVANTSSAR platform Web Services (with links)
  • Platform

  • Orchestrator

  • Validators

Three different instances of the Validator service (one for each host). For each instance, the functionality of the Validator is supported by a different back-end:

  • CL-AtSe

  • OFMC

  • SATMC

  • Connectors     

  • ASLan++ Connector

  • HLPSL++ Connector

  • Converters

In order to simplify the integration of new connectors with the AVANTSSAR Validation Platform, we also provide two converter web services that generate the XML representation of ASLan and of the common output format of the validator back-ends.

  • ASLan to XML Converter

  • OF to XML Converter

 

Users Support

Users mailing list
Bug report (Bugzilla)

Project Coordinator

Luca Viganò
Dipartimento di Informatica 
Facoltà di Scienze MM FF NN
Università di Verona
Strada Le Grazie 15
I-37134 Verona, Italy
Tel.: +39 0458027070
Fax.: +39 0458027068
E-Mail: luca.vigano AT univr.it

 

AVANTSSAR
XHTML 1.0 | CSS