620 search results - page 86 / 124 » Abstract Analysis of Symbolic Executions |
127
Voted
ENASE
2009
14 years 10 months ago
2009
Abstract. The design of dynamic discrete-event systems calls for adequate modeling formalisms and tools to manage possible changes occurring during system's lifecycle. A commo...
131
click to vote
ICST
2009
IEEE
14 years 10 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
202
click to vote
CADE
2011
Springer
14 years 17 days ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
110
Voted
ENDM
2010
15 years 20 days ago
2010
Verifying that a piece of software has no bugs means proving that it has certain desired properties, such as an array index not taking values outside certain Abstract interpretati...
114
click to vote
ASWEC
2005
IEEE
15 years 6 months ago
2005
IEEE
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...