13383 search results - page 37 / 2677 » Abstractions from proofs |
ESOP
2010
Springer
14 years 7 months ago
2010
Springer
CSL
2009
Springer
14 years 4 months ago
2009
Springer
TAP
2007
Springer
14 years 4 months ago
2007
Springer
We present a new automatic test generation method for JAVA CARD based on attempts at formal verification of the implementation under test (IUT). Self-contained unit tests in JUnit...
ISDA
2006
IEEE
14 years 4 months ago
2006
IEEE
The last decade has witnessed an exponential growth of sequence information in the field of biological macromolecules such as proteins and nucleic acids and their interactions wit...
SPIN
2001
Springer
14 years 2 months ago
2001
Springer
ions Using SPIN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 Marsha Chechik, Benet Devereux, Arie Gurfinkel (University of Toronto) Imp...