1492 search results - page 83 / 299 » Automatic Software Model Checking Using CLP |
110
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...
100
click to vote
ICCSA
2009
Springer
15 years 8 months ago
2009
Springer
Variational data assimilation consists in estimating control parameters of a numerical model in order to minimize the misfit between the forecast values and some actual observatio...
214
Voted
ISSTA
2004
ACM
15 years 7 months ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
ICSE
2003
IEEE-ACM
16 years 1 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
115
click to vote
RE
2008
Springer
15 years 1 months ago
2008
Springer
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...