Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology

Critical Systems Research Group

ftsrg
0 Stars
  • Developing new methods and tools to help engineers create better systems
  • Budapest University of Technology and Economics
  • Budapest, Hungary
  • https://ftsrg.mit.bme.hu

Decks

Lazy Abstraction for Markov Decision Processes
ftsrg
0
9
Combining CEGAR and Lazy Abstraction for Verifying Timed Systems
ftsrg
0
11
The many meanings of UML 2 Sequence Diagrams: a survey
ftsrg
0
100
Automated isolation for white-box test generation
ftsrg
0
45
Classifying generated white-box tests: an exploratory study
ftsrg
0
130
Gazer-Theta: LLVM-based Verifier Portfolio with BMC-CEGAR
ftsrg
0
28
Evaluating and Improving White-Box Test Generation
ftsrg
0
11
Effective Domain-Specific Formal Verification Techniques
ftsrg
0
14
SMT-Friendly Formalization of the Solidity Memory Model
ftsrg
0
10

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