2514 search results - page 31 / 503 » The use of industrial-strength formal methods |
120
Voted
MEMOCODE
2003
IEEE
15 years 7 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
123
click to vote
COLING
2010
14 years 9 months ago
2010
While ITG has many desirable properties for word alignment, it still suffers from the limitation of one-to-one matching. While existing approaches relax this limitation using phra...
FMCAD
2007
Springer
15 years 8 months ago
2007
Springer
— The concept of applying partial fencing to logic built-in self test (LBIST) hardware structures for the purpose of using partially good chips is well known in the chip design i...
CONCUR
1999
Springer
15 years 6 months ago
1999
Springer
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework fo...
119
click to vote
FM
2008
Springer
15 years 3 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...