5525 search results - page 897 / 1105 » Verification of Model Transformations |
171
click to vote
DEDS
2000
15 years 4 months ago
2000
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...
165
click to vote
JAR
2000
15 years 4 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...
146
click to vote
TSE
1998
15 years 3 months ago
1998
—New protocols are often useful, but are hard to implement well. Protocol synthesis is a solution, but synthesized protocols can be slow. Implementing protocols will be even more...
171
click to vote
TRIER
2002
15 years 3 months ago
2002
It is known that interprocedural detection of copy constants and elimination of faint code in parallel programs are undecidable problems, if base statements are assumed to execute...
134
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Empirical studies of software defects rely on links between bug databases and program code repositories. This linkage is typically based on bug-fixes identified in developer-enter...