42 search results - page 1 / 9 » On-the-Fly Data Flow Analysis Based on Verification Technolo... |
ENTCS
2007
13 years 4 months ago
2007
PASTE
1999
ACM
13 years 9 months ago
1999
ACM
CAISE
2009
Springer
13 years 9 months ago
2009
Springer
Despite the abundance of analysis techniques to discover control-flow errors in workflow designs, there is hardly any support for w verification. Most techniques simply abstract fr...
DAC
2009
ACM
13 years 11 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
ECAI
2008
Springer
13 years 6 months ago
2008
Springer
In the drive to improve patient safety, patients in modern intensive care units are closely monitored with the generation of very large volumes of data. Unless the data are further...