Bringing LTL Model Checking to Biologists

DOI10.1007/978-3-319-52234-0_1zbMath1484.68094OpenAlexW2560743692MaRDI QIDQ2961551

No author found.

Publication date: 21 February 2017

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2381/39503

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Systems biology, networks (92C42)

Related Items (1)

BioModelAnalyzer

Uses Software

• GitHub
• Chevrotain

Cites Work

• Proving Stabilization of Biological Systems

This page was built for publication: Bringing LTL Model Checking to Biologists