“…Workshop on Formal Methods in Software Practice Clearwater Beach, Fla.…”