Checkmate

MaRDI QIDQ38549swMATHFDO

Official website http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.216.395&rep=rep1&type=pdf

Cited in

(3)

• Static analysis of communicating processes using symbolic transducers
• ThreadSafe
• Deadlock detection of Java bytecode

This page was built for software: Checkmate