LARA

Finite state machines and verification of programs that manipulate linked lists

References