984 search results - page 62 / 197 » Experimenting with Multi-Level Models in a Two-Level Modelin... |
141
Voted
ENTCS
2007
15 years 3 months ago
2007
Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed signifi...
141
Voted
WSC
2000
15 years 5 months ago
2000
Simulation is used in the design process of dynamic systems. The results of simulation are employed for validating a model, and they are helpful for the improvement of the design ...
121
Voted
FC
2004
Springer
15 years 9 months ago
2004
Springer
Improved computer security requires improvements in risk communication to naive end users. Efficacy of risk communication depends not only on the nature of the risk, but also on t...
116
Voted
ACSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
146
click to vote
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...