243 search results - page 45 / 49 » Software Testing via Model Checking |
SIGSOFT
2004
ACM
14 years 1 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eļ¬...
IFM
2007
Springer
14 years 1 months ago
2007
Springer
Material Flow Abstraction of Manufacturing Systems. ā£Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Speciļ¬cation and Veriļ¬cation of a MPI Implementation for a MP-SoC...
DASFAA
2009
IEEE
14 years 2 months ago
2009
IEEE
The XML technologies have brought a lot of new ideas and abilities in the ļ¬eld of information management systems. Nowadays, XML is used almost everywhere: from small conļ¬gurati...
HICSS
1996
IEEE
13 years 12 months ago
1996
IEEE
The venerable problem solving technique of simulation finds itself inthe midstof a revolution. Where once it was regarded as a "technique of last resort" for systems ana...
CASES
2009
ACM
14 years 2 months ago
2009
ACM
Accurate estimation of the tick length of a synchronous program is essential for eļ¬cient and predictable implementations that are devoid of timing faults. The techniques to dete...