Just do the math and don't worry about management. If you are generally productive you can take a quarter here and there to focus on a thing only you know the value of.
Yeah, I've taken to occasionally testing some of the simpler stuff I write in PlusCal without telling managers. If they think I'm dicking around with "theoretical" math stuff they might get annoyed but if I submit code that works correctly within a deadline I suspect they'll be alright.
My long term plan on this is to submit a bunch of code that works correctly the first time, and eventually once I am established at this job as "clever" I'll reveal the PlusCal/TLA+ specs and hopefully have a decent sales pitch.
