Next event

26/08/2026

TechBBQ 2026

Category: Formal Methods

Country
Organisation
Category
Subcategory

AI solution finder – Toolbox Lean 4.0

Study

Report with recommendations and profiles of identified solution elements

Target Audience

Desk assessment of the proposed solution

Study

Documentation + summary report

Target Audience

Don't feel like browsing, but do want to get in contact?

Share your contact information and our project managers will get back to you!

Set-up for AI solution testing

Experiment, Study, Test

Documentation + summary report

Target Audience

Testing and runtime monitoring of AI systems in manufacturing

Test
  • Validation of system compliance to requirements, with insights in case identified (formal checkers); – Runtime monitor test results (runtime monitoring)
Target Audience