Model Checking Software

DOI10.1007/b96721zbMath1125.68384OpenAlexW54779658MaRDI QIDQ5308374

Radu Mateescu, Hidde de Jong, Hubert Garavel, Damien Bergamini, Grégory Batt

Publication date: 28 September 2007

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (5)

Computation Tree Regular Logic for Genetic Regulatory Networks ⋮ On temporal logic constraint solving for analyzing numerical data time series ⋮ CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks ⋮ Model Revision from Temporal Logic Properties in Computational Systems Biology ⋮ Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE

This page was built for publication: Model Checking Software