2407 search results - page 102 / 482 » A Tool for Abstraction in Model Checking |
153
click to vote
UC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computin...
190
click to vote
FMICS
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
206
click to vote
TACAS
2012
Springer
14 years 1 months ago
2012
Springer
The number of malware is growing extraordinarily fast. Therefore, it is important to have efficient malware detectors. Malware writers try to obfuscate their code by different tec...
180
click to vote
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
161
click to vote
CONCUR
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...