452 search results - page 43 / 91 » Symbolic Execution of Behavioral Requirements |
CLUSTER
2002
IEEE
15 years 18 days ago
2002
IEEE
Active services are application-specified programs that are executed inside the network. The location where the active service is executed plays an important role. The dynamic beha...
94
Voted
ICSE
2005
IEEE-ACM
16 years 26 days ago
2005
IEEE-ACM
During software development it is helpful to obtain early estimates of the defect density of software components. Such estimates identify fault-prone areas of code requiring furth...
114
click to vote
TCC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
142
click to vote
ISPAN
2002
IEEE
15 years 5 months ago
2002
IEEE
In the directed acyclic graph (dag) model of algorithms, consider the following problem for precedence-constrained multiprocessor schedules for array computations: Given a sequenc...
114
Voted
BIRTHDAY
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...