It will not work from another location. You should probably install the included DejaVu fonts (see below). You should also put the directory /usr/local/Frama-C_Be/bin in your path.
Once all this is done, you are set up.
One known bug specific to this binary distribution:
- The display of unicode characters is broken with the default settings. A workaround is to install the "DejaVu Sans" and "DejaVu Sans Mono" fonts provided in the folder /usr/local/Frama-C_Be/dejavu_fonts. To install the fonts, open the files "DejaVuSans.ttf" and "DejaVuSansMono.ttf" and click the button "Install font" that appears in the Font Book dialog.