![A user study for evaluation of formal verification results and their explanation at Bosch | Empirical Software Engineering A user study for evaluation of formal verification results and their explanation at Bosch | Empirical Software Engineering](https://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs10664-023-10353-4/MediaObjects/10664_2023_10353_Fig2_HTML.png)
A user study for evaluation of formal verification results and their explanation at Bosch | Empirical Software Engineering
![Bosch SMV46MX03-EU Built in panel ready fully integrated 220 volt 50hz dishwasher 220v 240 volts 50 hz Bosch SMV46MX03-EU Built in panel ready fully integrated 220 volt 50hz dishwasher 220v 240 volts 50 hz](https://www.220-electronics.com/media/catalog/product/cache/06e563bb4bf8bb99ff5c3485d61b5ba4/m/c/mcsa01687924_g3916_smv46mx03e_1135983_def.jpg)
Bosch SMV46MX03-EU Built in panel ready fully integrated 220 volt 50hz dishwasher 220v 240 volts 50 hz
![Bosch SPH4EMX28E beépíthető keskeny mosogatógép | 8-11 terítékes, 45 cm széles | Vásárlás | Elektro Márkabolt Bosch SPH4EMX28E beépíthető keskeny mosogatógép | 8-11 terítékes, 45 cm széles | Vásárlás | Elektro Márkabolt](https://www.elektromarkabolt.hu/media/prod_images/bosch-sph4emx28e-6.jpg)
Bosch SPH4EMX28E beépíthető keskeny mosogatógép | 8-11 terítékes, 45 cm széles | Vásárlás | Elektro Márkabolt
![A user study for evaluation of formal verification results and their explanation at Bosch | Empirical Software Engineering A user study for evaluation of formal verification results and their explanation at Bosch | Empirical Software Engineering](https://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs10664-023-10353-4/MediaObjects/10664_2023_10353_Fig40_HTML.png)
A user study for evaluation of formal verification results and their explanation at Bosch | Empirical Software Engineering
![Bosch SMV46MX03-EU Built in panel ready fully integrated 220 volt 50hz dishwasher 220v 240 volts 50 hz Bosch SMV46MX03-EU Built in panel ready fully integrated 220 volt 50hz dishwasher 220v 240 volts 50 hz](https://www.220-electronics.com/media/catalog/product/cache/3f68aa62c44985d8ce295b0f2dae5ce3/m/c/mcsa01687924_g3916_smv46mx03e_1135983_def.jpg)