597 search results - page 73 / 120 » E-Process Design and Assurance Using Model Checking |
147
Voted
COMPSAC
2001
IEEE
15 years 6 months ago
2001
IEEE
Regression testing has been a popular quality assurance technique. Most regression testing techniques are based on code or software design. This paper proposes a scenario-based fu...
118
click to vote
VLSID
2007
IEEE
16 years 3 months ago
2007
IEEE
We present a technique for automatic verification of pipelined microprocessors using model checking. Antecedent conditioned slicing is an efficient abstraction technique for hardw...
138
click to vote
APSEC
2009
IEEE
15 years 14 days ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
113
click to vote
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
Many recent research projects focus on language support for behavioral software contracts, that is, assertions that govern the boundaries between software building blocks such as ...
111
Voted
RTSS
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...