User contributions
Jump to navigation
Jump to search
- 08:49, 13 May 2024 diff hist +121 Main Page Add picture of team meeting current
- 08:46, 13 May 2024 diff hist 0 N File:IVOIRE Meeting 2024 Düsseldorf.jpg current
- 08:45, 13 May 2024 diff hist -6 Ivoire:About current
- 08:45, 13 May 2024 diff hist +6 Ivoire:About
- 08:44, 13 May 2024 diff hist 0 N File:Test Logo.png current
- 12:24, 10 May 2024 diff hist +1,960 Main Page Add news section
- 09:07, 10 May 2024 diff hist -547 About the Project Redirected page to Ivoire:About current Tag: New redirect
- 09:06, 10 May 2024 diff hist +39 MediaWiki:Sidebar Add 2024 workshop current
- 09:06, 10 May 2024 diff hist 0 m MediaWiki:Sidebar
- 09:06, 10 May 2024 diff hist +1,584 N IVOIRE Workshop 2024 Created page with "Historically, formal methods and supported environments have focused more on only one-half of the quality-assurance process: verification (are we building the software right?)..." current
- 15:55, 9 January 2024 diff hist +23 Publications current
- 15:54, 9 January 2024 diff hist +419 Publications
- 07:22, 31 May 2023 diff hist +399 IVOIRE Workshop 2023 →Schedule: Add presentations current
- 07:21, 31 May 2023 diff hist 0 N File:Angelo Gargantini - Compositional Simulation of Abstract State Machines for Safety Critical Systems.pptx current
- 07:21, 31 May 2023 diff hist 0 N File:Jean-Pierre Jacquot - A Case-study for Incremental Validation.pdf current
- 07:21, 31 May 2023 diff hist 0 N File:Sebastian Stock - Validation-Driven Development.pdf current
- 07:18, 31 May 2023 diff hist 0 N File:Fabian Vu - Formalizing and Validating the VO Approach.pdf current
- 07:17, 31 May 2023 diff hist 0 N File:D. Geleßus - Classification and Semantics of Validation Tasks.pdf current
- 21:35, 30 May 2023 diff hist -176 IVOIRE Workshop 2023 Workshop has finished
- 15:00, 30 May 2023 diff hist 0 m IVOIRE Workshop 2023