About QuARS


QuARS: Quality Analyzer for Requirement Specifications
Version 4.1 (build 01.20071030)
design and Development by:
  • web: http://quars.isti.cnr.it
  • info contact:
  • support contact:

Istituto di Scienza e Tecnologie dell'Informazione
A. Faedo
http://www.isti.cnr.it

Formal Methods And Tools Group
http://www.isti.cnr.it/ResearchUnits/Labs/fm-lab/
http://fmt.isti.cnr.it
contact:


System and Software Evaluation Center
http://www.isti.cnr.it/ResearchUnits/Centers/sse-center/
contact:



QuARS v4.1
Copyright © 2000-2021 SSEC - FMT Lab
All Right Reserved.