Penjili(뺀질이):
in Korean, said of a person who is cunning at avoiding work.
At EADS Innovation Works, project Penjili develops static analysis tools
that show the safety and security of embedded software.
The tools compute just enough semantic information to
infer program correctness.
