94 search results - page 19 / 19 » Combining Formal Methods and Safety Analysis - The ForMoSA A... |
VSTTE
2005
Springer
13 years 11 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
POPL
2004
ACM
14 years 5 months ago
2004
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...
VIS
2009
IEEE
14 years 6 months ago
2009
IEEE
In this paper we describe a novel method to integrate interactive visual analysis and machine learning to support the insight generation of the user. The suggested approach combine...
COMPSAC
2002
IEEE
13 years 10 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...