1376 search results - page 236 / 276 » Model-Driven Software Verification |
139
click to vote
SIGOPS
2008
15 years 1 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
126
click to vote
TCAD
2008
15 years 1 months ago
2008
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...
116
click to vote
JWSR
2007
15 years 1 months ago
2007
: One main characteristic of virtual enterprises are short-term collaborations between business partners to provide efficient and individualized services to customers. The MOVE pro...
103
click to vote
ATVA
2010
Springer
14 years 12 months ago
2010
Springer
Exception handling is an important language feature for building more robust software programs. It is primarily concerned with capturing abnormal events, with the help of catch han...
120
Voted
CODES
2010
IEEE
14 years 12 months ago
2010
IEEE
Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...