10715 search results - page 27 / 2143 » From Tests to Proofs |
FORTE
2004
13 years 9 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
EDM
2010
13 years 6 months ago
2010
Dynamic assessment (DA) has been advocated as an interactive approach to conduct assessments to students in the learning systems as it can differentiate student proficiency at a fi...
IMC
2010
ACM
13 years 5 months ago
2010
ACM
How fast is the network? The speed at which real users can download content at different locations and at different times is an important metric for service providers. Knowledge o...
ICSE
2001
IEEE-ACM
14 years 11 days ago
2001
IEEE-ACM
LFCS
2009
Springer
14 years 2 months ago
2009
Springer
This work defines an extension CERES2 of the first-order cut-elimination method CERES to the subclass of sequent calculus proofs in second-order logic using quantifier-free comp...