245 search results - page 33 / 49 » Formal Methods in Industrial Software Standards Enforcement |
FMCO
2003
Springer
14 years 21 days ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
IEAAIE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
SCS
2003
13 years 8 months ago
2003
The development of safety critical systems is guided by standards. Many standards require the development of a safety case to demonstrate the acceptability of Safety Critical Syst...
IFM
2004
Springer
14 years 26 days ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
MEMOCODE
2007
IEEE
14 years 1 months ago
2007
IEEE
This design presents a system optimized for complex matrix multiplications on the XUP Virtex-II board. Utilizing the GEZEL HW/SW co-simulation environment, the resulting system ac...