3147 search results - page 246 / 630 » Open-Source Model Checking |
112
Voted
DSRT
2006
IEEE
15 years 9 months ago
2006
IEEE
In MANETs, majority of performance studies are carried out via simulations, where node mobility and radio propagation models play a crucial role. However, popular simulation tools...
128
Voted
RTCSA
1999
IEEE
15 years 7 months ago
1999
IEEE
Scheduling in an environment with constraints of many different types is known to be a hard problem. We tackle this problem for an integrated steel plant in Ghent, Belgium, using ...
152
Voted
IANDC
2011
14 years 10 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
105
Voted
CSFW
2007
IEEE
15 years 9 months ago
2007
IEEE
We address the programmatic realization of the access control model of security in distributed systems. Our aim is e the gap between abstract/declarative policies and their concre...
112
click to vote
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...