The Biochemical Abstract Machine (Biocham) is a modelling environment for systems biology, with some unique features for static analysis or for inferring unknown model parameters from temporal logic constraints.