Formal methods meth. emp. sciences proc. 74 by