Project

FormalSafe

Formal Development for Safe Robotics

  • Duration:
  • Research Topics
    Other
  • Application fields
    Other

FormalSafe aims at the computer-supported management of the many and diverse documents produced during the development of highly dependable systems, in particular in the area of safe robotics.

Sponsors

Federal Ministry of Education and Research (BMBF)

01IW07002

Federal Ministry of Education and Research (BMBF)

Publications about the project

Serge Autexier, Dieter Hutter, Christoph Lüth,

In: Margaria Tiziana , Bernhard Steffen (editor). Proc. 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLa'12). International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA-12) October 15-18 Amirandes, Heraclion, Crete Greece Pages 238-252 Lecture Notes in Computer Science (LNCS) 7609 Springer 10/2012.

To the publication
Vyacheslav Zholudev, Serge Autexier,

In: James H. Davenport , William Farmer , Florian Rabe , Joseph Urban (editor). Proceedings of Calculemus/MKM 2011. Conferences on Intelligent Computer Mathematics (CICM-11) 10th International Conference on Mathematical Knowledge Management located at Conference on Intelligent Computer Mathematics July 18-23 Bertonori Italy Pages 164-179 LNAI 6824 Springer-Verlag Berlin Heidelberg 7/2011.

To the publication
Regivan Hugo Nunes Santiago,

In: Tendencias em Matematica Aplicada e Computacional (TEMA) 12 1 Pages 21-30 SBMAC Brasil 4/2011.

To the publication

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz