1157 search results - page 23 / 232 » Descriptive Complexity and Model Checking |
119
click to vote
WIFT
1998
IEEE
15 years 1 months ago
1998
IEEE
The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool ...
MMNS
2004
14 years 11 months ago
2004
Due to the significant development of network services in the past few years, their validation has become increasingly difficult. The advent of novel approaches to the issue of val...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
We study the model checking problem, for fixed structures A, over positive equality-free first-order logic
67
Voted
ICALP
2010
Springer
15 years 2 months ago
2010
Springer
We investigate the decidability and complexity of various model checking problems over one-counter automata. More specifically, we consider succinct one-counter automata, in which...
SIGSOFT
2004
ACM
15 years 10 months ago
2004
ACM
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support increment...