Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM

DOI10.1007/11680093_1zbMath1156.68377OpenAlexW1525246288MaRDI QIDQ5302876

François Fages

Publication date: 15 January 2009

Published in: Logic Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11680093_1

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

A Model and Analysis of the AKAP Scaffold ⋮ On temporal logic constraint solving for analyzing numerical data time series

Uses Software

• NuSMV
• BIOCHAM

This page was built for publication: Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM