75 search results - page 1 / 15 » The Theory and Practice of A Formal Method: NewCoRe |
IFIP
1994
Springer
13 years 9 months ago
1994
Springer
JUCS
2007
13 years 4 months ago
2007
PCI
2001
Springer
13 years 9 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
FM
2009
Springer
13 years 11 months ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
TFM
2009
Springer
13 years 11 months ago
2009
Springer
Teaching courses that rely on sound mathematical principles is nowadays a challenging task at many universities. On the one hand there is an increased demand for educating students...