Penjili


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.