Adjective
Pnuelian (not comparable) Of or relating to Amir Pnueli (Hebrew: אמיר פנואלי; 1941–2009), Israeli computer scientist known for his work on temporal logic.