[caminante]

How did you pick out AI native and miss the rest of the SAME sentence?

> We found this defect by distilling a behavioural specification of the IMU subsystem using Allium, an AI-native behavioural specification language.

[throwaway27448]

That does not answer my confusion, especially when static analysis could reveal the same conclusion with that language. It's not clear what role ai played at all.

[roywiggins]

It seems pretty clear when you follow the link?

https://juxt.github.io/allium/