484 search results - page 19 / 97 » Structural Symmetry and Model Checking |
161
click to vote
WABI
2007
Springer
15 years 12 months ago
2007
Springer
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...
142
click to vote
FM
2009
Springer
16 years 13 days ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
154
click to vote
VMCAI
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
154
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
149
Voted
BIRTHDAY
2007
Springer
16 years 1 days ago
2007
Springer
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...