2875 search results - page 284 / 575 » Model checking agentspeak |
132
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
131
Voted
SAS
2009
Springer
16 years 4 months ago
2009
Springer
ion Refinement for Quantified Array Assertions Mohamed Nassim Seghir1, , Andreas Podelski1 , and Thomas Wies1,2 1 University of Freiburg, Germany 2 EPFL, Switzerland Abstract. We p...
113
click to vote
IPCCC
2006
IEEE
15 years 9 months ago
2006
IEEE
We present an approach to the question of evaluating worm defenses against future, yet unseen and possibly defense-aware worm behavior. Our scheme employs model checking to produc...
135
Voted
DSD
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
141
Voted
ACSC
2007
IEEE
15 years 7 months ago
2007
IEEE
Security protocols are often specified at the application layer; however, application layer specifications give little detail regarding message data structures at the presentation...