323 search results - page 2 / 65 » A Survey of Automated Techniques for Formal Software Verific... |
ICSE
2007
IEEE-ACM
14 years 5 months ago
2007
IEEE-ACM
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
TSE
2002
13 years 4 months ago
2002
FMSD
2002
13 years 4 months ago
2002
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
KBSE
2002
IEEE
13 years 9 months ago
2002
IEEE
FLAIRS
2000
13 years 6 months ago
2000
The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...