553 search results - page 23 / 111 » Learning Meets Verification |
ICALT
2008
IEEE
14 years 4 months ago
2008
IEEE
Students whose professional qualifications are gained through work placement-based learning are assessed as to their competency to carryout tasks. These students are usually suppo...
DAC
1998
ACM
14 years 11 months ago
1998
ACM
We describe the verification of the IM: a large, complex (12,000 gates and 1100 latches) circuit that detects and marks the boundaries between Intel architecture (IA-32) instructi...
DGO
2008
13 years 11 months ago
2008
In this paper we outline an approach for modeling election processes and then performing rigorous analysis to verify that these process models meet selected behavioral requirement...
ASIAN
2009
Springer
13 years 11 months ago
2009
Springer
In cryptographic protocols, zero knowledge proofs are employed for a principal A to communicate some non-trivial information t to B while at the same time ensuring that B cannot de...
DAC
2006
ACM
14 years 11 months ago
2006
ACM
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...