[rochacbruno]

If a successful metal band tries to change its name to e.g: "Active Directory of Hell", "SQL Server No More" or something like this, for sure Microsoft lawyers would do something against. Now I think Tom Araya from Slayer should do it against microsoft. It is a trademark from hell.

[dsp1234]

Unless Active Directory or SQL Server are trademarked names in the music category, there isn't much they could do. There is no possibility of confusion.

Just as there is no possibility of confusion that this software was written by the band Slayer, or is even endorsed by them.

Although, 'They official C formal verification tool of the band Slayer' would be a pretty funny tie in.