Sign up for free
Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology
Avatar for Critical Systems Research Group

Critical Systems Research Group

ftsrg
0 Stars

Decks

Gazer-Theta: LLVM-based Verifier Portfolio with BMC-CEGAR
Avatar for Critical Systems Research Group ftsrg
0
120
Evaluating and Improving White-Box Test Generation
Avatar for Critical Systems Research Group ftsrg
0
160
Effective Domain-Specific Formal Verification Techniques
Avatar for Critical Systems Research Group ftsrg
0
130
SMT-Friendly Formalization of the Solidity Memory Model
Avatar for Critical Systems Research Group ftsrg
0
170
Will My Program Break on This Faulty Processor? - Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software
Avatar for Critical Systems Research Group ftsrg
0
17

Speaker Deck Pro: Add privacy options and schedule the publishing of your decks Upgrade