Browse
Contact
/
Login
Upload
Search Results for 'Verification '
The Validation of Climate Models:
debby-jeon
Model testing, community code support, and transfer between research and operations:
aaron
A shuffle argument secure in the generic model
conchita-marotz
Combining Pre-Silicon Verification Brains with Post-Silicon
yoshiko-marsland
Guyana’s Timber Legality Assurance System (GTLAS)
aaron
Software Reliability in Nuclear Systems
danika-pritchard
Debt Collection and Credit Reporting Issues Impacting Senio
sherrill-nordquist
On the Knowledge Soundness of a Cooperative Provable Data P
trish-goza
Path-aware Time-triggered Runtime Verification
phoebe-click
TASFAA 2018 Honoring the Past & Building the Future
aaron
1 External Provider Control
tawny-fly
All-Path Reachability Logic
kittie-lecroy
1 External Provider Control
luanne-stotts
All-Path Reachability Logic
phoebe-click
Carbon Offsets for Compliance Under AB32
tatiana-dople
Client Authentication & Authorization for GENI XMPP Mes
tatiana-dople
Client Authentication & Authorization for GENI XMPP Mes
jane-oiler
Client Authentication & Authorization for GENI XMPP Mes
alexa-scheidler
Authentication: Owner and user
tatiana-dople
Parameterized Unit Testing in the Open Source Wild
lois-ondreau
New Challenges of Security Verification in Browser Developm
conchita-marotz
Mixed-method design
tawny-fly
FPGA vs. ASIC Design Flow
stefany-barnette
Matching Logic An Alternative to Hoare/Floyd Logic
sherrill-nordquist
22
23
24
25
26
27
28
29
30
31
32