I think there is a 20/80 split between blue collar and white collar workers here at the HQ in Westphalia. So mostly a cubicle-farm of sorts.
I asked around and my german colleagues tell me it is a Bavarian thing with the beers.
> 4pm doesn't mean that work ends then though. Many people continue working after that beer.
We are also offered a beer a few times at official Company events etc. and most can have a beer and do proper work after. It is also legal to drive after a single normal-sized beer.
I work for a German-owned industry corporation (in a nearby EU country) and would get fired for having a friday beer with colleagues if not at company-arranged “friday bar” or some other event :)
No national law requires this strictness, but +95% of companies in my country have simular rules in place.
My German colleagues are mostly serious when saying “Kein Bier vor vier” (i.e. no beers before 16:00/work ends).
There are tools available for direct formal analysis of the system as implemented (and not “just” a model of it).
With e.g. the C bounded model checker CBMC, your model language is also C. Frama-C is another approach (Hoare-like, axiomatic logic). Klee works on LLVM IR etc.
Stronger proponents would perhaps suggest extracting the implementation from the model etc., but you don’t have to drink all the koolaid at once to get many of the benefits.
And not all your software needs to be formalized either, to get many of the benefits.
I’ved succesfully used CBMC and Klee on C code for verifying important parts of embedded safety/mission critical software on resource constrained HW (i.e. no OS, static allocation, single to double digit kilobytes of RAM etc.)
I think it’s broadly accepted that WW2 forced or accelerated inventions such as: jet planes, radios, synthetic rubber, radar, the Jeep, duct tape, nukes.
The cold war -> the space race.
Drone tech/military AI in Ukraine is perhaps a more recent example.
I asked around and my german colleagues tell me it is a Bavarian thing with the beers.
> 4pm doesn't mean that work ends then though. Many people continue working after that beer.
We are also offered a beer a few times at official Company events etc. and most can have a beer and do proper work after. It is also legal to drive after a single normal-sized beer.