Sciweavers

1796 search results - page 47 / 360
» An Approach to Compositional Model Checking
Sort
View
WABI
2007
Springer
14 years 2 months ago
Predicting Protein Folding Kinetics Via Temporal Logic Model Checking
Christopher James Langmead⋆ and Sumit Kumar Jha Department of Computer Science, Carnegie Mellon University We present a novel approach for predicting protein folding kinetics us...
Christopher James Langmead, Sumit Kumar Jha
JDCTA
2008
119views more  JDCTA 2008»
13 years 8 months ago
Fuzzy MCDM approach for addressing composite index of water and air pollution potential of industries
Urbanization and industrialization with minimal focus on environmental pollution has resulted in rapid degradation of natural environment. A fresh look at the pollution control st...
Robin A. Christian, Ravindra K. Lad, Ashok W. Desh...
ENTCS
2007
107views more  ENTCS 2007»
13 years 8 months ago
Modeling Environment for Component Model Checking from Hierarchical Architecture
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
Pavel Parizek, Frantisek Plasil
ENTCS
2007
119views more  ENTCS 2007»
13 years 8 months ago
Interpolant Learning and Reuse in SAT-Based Model Checking
Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed signifi...
João Marques-Silva
TIME
2009
IEEE
14 years 2 months ago
Model Checking CTL is Almost Always Inherently Sequential
The model checking problem for CTL is known to be P-complete (Clarke, Emerson, and Sistla (1986), see Schnoebelen (2002)). We consider fragments of CTL obtained by restricting the...
Olaf Beyersdorff, Arne Meier, Michael Thomas, Heri...