944 search results - page 3 / 189 » Software model checking without source code |
SCAM
2008
IEEE
14 years 19 days ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
ICST
2009
IEEE
14 years 27 days ago
2009
IEEE
It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learni...
AMAST
2004
Springer
13 years 11 months ago
2004
Springer
EMSOFT
2011
Springer
12 years 6 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
IFIP
2004
Springer
13 years 11 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...