1541 search results - page 128 / 309 » Tools and Techniques for Model Checking Networked Programs |
124
click to vote
ATVA
2009
Springer
15 years 8 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
161
click to vote
PPL
2008
15 years 4 months ago
2008
As the number of integrated IP cores in the current System-on-Chips (SoCs) keeps increasing, communication requirements among cores can not be sufficiently satisfied using either ...
148
click to vote
POPL
1990
ACM
15 years 8 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
126
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
129
click to vote
IIWAS
2008
15 years 5 months ago
2008
Distributed development of software has turned into a natural and modern approach where teams spread over the world cooperate to develop a software product, and this has become po...