12981 search results - page 451 / 2597 » Model Checking (Abstract) |
148
click to vote
FMICS
2009
Springer
15 years 11 months ago
2009
Springer
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...
122
click to vote
UML
2001
Springer
15 years 9 months ago
2001
Springer
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...
160
click to vote
BIRTHDAY
2004
Springer
15 years 8 months ago
2004
Springer
A quantified Boolean formula is true, if for any existentially quantified variable there exists a Boolean function depending on the preceding universal variables, such that substi...
153
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
130
click to vote
ENTCS
2002
15 years 4 months ago
2002
In this paper we describe the use of the rewriting logic based Maude tool to model and analyze mammalian signaling pathways. We discuss the representation of the underlying biolog...