726 search results - page 47 / 146 » Formal Verification and Validation of Interactive Systems Sp... |
HASE
2007
IEEE
15 years 3 months ago
2007
IEEE
Automated verification plays an important role for high assurance software. This typically uses a pair of pre/post conditions as a formal (but possibly partial) specification of e...
ISSTA
2006
ACM
15 years 5 months ago
2006
ACM
Assertions have long been used to validate the functionality of software systems. Researchers and practitioners have extended them for validation of non-functional requirements, s...
ISTA
2004
15 years 1 months ago
2004
Abstract: This paper presents the evidential paradigm of computer-supported mathematical assistance in "doing" mathematics and in reasoning activity. At present, the evid...
EMSOFT
2008
Springer
15 years 1 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
120
click to vote
AMAST
2008
Springer
15 years 1 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...