1304 search results - page 85 / 261 » Model Checking C Programs Using F-SOFT |
226
Voted
SP
2006
IEEE
15 years 8 months ago
2006
IEEE
Security concerns are becoming increasingly critical in networked systems. Firewalls provide important defense for network security. However, misconfigurations in firewalls are ...
115
Voted
IEICET
2006
15 years 2 months ago
2006
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
104
click to vote
PADL
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Creating GUI programs is hard even for prototyping purposes. Using the model-view paradigm makes it somewhat simpler since the model-view paradigm dictates that the model...
142
Voted
FM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
129
Voted
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
Functional verification is widely acknowledged as a major bottleneck in microprocessor design. While early work on specification driven functional test program generation has prop...