3147 search results - page 234 / 630 » Open-Source Model Checking |
164
click to vote
BMCBI
2010
15 years 22 days ago
2010
Background: To exploit the flood of data from advances in high throughput imaging of optically sectioned nuclei, image analysis methods need to correctly detect thousands of nucle...
182
Voted
BMCBI
2011
14 years 6 months ago
2011
Background: Constraint-based approaches facilitate the prediction of cellular metabolic capabilities, based, in turn on predictions of the repertoire of enzymes encoded in the gen...
132
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Sequencing of environmental DNA (often called metagenomics) has shown tremendous potential to uncover the vast number of unknown microbes that cannot be cultured and s...
210
click to vote
TACAS
2004
Springer
15 years 8 months ago
2004
Springer
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...
140
click to vote
CAV
2003
Springer
15 years 7 months ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...