SeaHorn Tutorial#

#About#

• SeaHorn usage, source and binaries can be found here
• Example usage:

sea pf simple/ssft_simple_1.c

#People#

• Arie Gurfinkel
• Jorge Navas
• Temesghen Kahsai