243 search results - page 45 / 49 » Software Testing via Model Checking |
SIGSOFT
2004
ACM
15 years 3 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ļ¬...
89
Voted
IFM
2007
Springer
15 years 3 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
15 years 4 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...
114
click to vote
HICSS
1996
IEEE
15 years 1 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
15 years 4 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...