Français Anglais
Accueil Annuaire Plan du site
Accueil > Evenements > Séminaires
Séminaire d'équipe(s) ForTesSE
Translating Z
Petra Malik

21 October 2011, 15h00
Salle/Bat : unknown/unknown
Contact :

Activités de recherche :

Résumé :
This talk gives an overview of the Community Z Tools (CZT) project, a
set of libraries and tools for the specification language Z, and
summarises current work on translating Z to other formal notations.

Z is an ancient specification language that was initiated in the 1970s
by Abrial and others and then further developed at Oxford. After its
standardisation in 2002, an effort was made by the CZT project to
provide standard-conforming, open-source libraries that serve as a
platform for the development of new tools for Z and its dialects and
extensions. The talk gives an overview of several ongoing projects
where CZT has been used to transform and translate Z specifications in
various ways. This includes a language for Z transformations and
translations to Alloy and HOL.

Pour en savoir plus :
Séminaires
Programmation mathématique multi-objectif pour la
Thursday 13 December 2018 - 14h30
Salle : unknown - unknown
Audrey Legendre .............................................

Redundancy in Distributed Proofs
Algorithmique distribuée
Tuesday 04 December 2018 - 00h00
Salle : 465 - PCRI-N
Ami Paz .............................................

Some recent results on the integer linear programm
Théorie des graphes
Friday 30 November 2018 - 00h00
Salle : 445 - PCRI-N
Hung Nguyen .............................................

Scalable and exhaustive screening of metabolic fun
Wednesday 28 November 2018 - 11h00
Salle : 465 - PCRI-N
Clémence Frioux .............................................

Studying the three-dimensional structure of DNA fr
Thursday 22 November 2018 - 15h00
Salle : unknown - unknown
Nelle Varoquaux .............................................