4 ms·
Well, you already have java formal verification tool named Bandera http://bandera.projects.cs.ksu.edu/people.shtml http://bandera.projects.cs.ksu.edu/people.sht
by t917910 9y ago
Well, you already have java formal verification tool named Bandera http://bandera.projects.cs.ksu.edu/people.shtml http://bandera.projects.cs.ksu.edu/people.shtml (which name is obviously choosen by Oksana Tkachuk, one of the tool authors)
- rbonvall 9y agoAs a native Spanish speaker I'm not aware of any negative connotations of the word bandera. In Spanish it just means "flag", so any other meaning is hard to google for. What am I missing? Just curious.
- t917910 9y agoone (Google Images): https://www.google.ru/search?q=bandera+una+unso&num=20&newwindow=1&source=lnms&tbm=isch&sa=X&biw=1376&bih=703 https://www.google.ru/search?q=bandera+una+unso&num=20&newwi... two (Wikipedia): https://en.wikipedia.org/wiki/Stepan_Bandera https://en.wikipedia.org/wiki/Stepan_Bandera If you want to piss off a clinical... eww, not a russian, but a post-soviet russian-speaking citizen of Russian Federation (with a little putin in his head), you may place a Stepan Bandera photo on your userpic and name youself as ukrainian nationalist. If you want to piss off a real ukrainian nationalist, you may use a Stalin phono, or any other communist leaders. From the point of sight of normal people, both of these sides is braindead. "A plague on both your houses".