Model Checking Software
From MaRDI portal
Publication:5308374
DOI10.1007/b96721zbMath1125.68384MaRDI 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
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Model Revision from Temporal Logic Properties in Computational Systems Biology, CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks, On temporal logic constraint solving for analyzing numerical data time series, Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE, Computation Tree Regular Logic for Genetic Regulatory Networks