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

Critical Systems Research Group

ftsrg
0 Stars

Decks

From Transpilers to​ Semantic Libraries
ftsrg
0
24
Abstraction-Based Model Checking for Real-Time Software-Intensive System Models
ftsrg
0
24
Efficient Manipulation of Logical Formulas as Decision Diagrams
ftsrg
0
23
End-to-End Validation of Input Model Transformations in Model Checking Tools
ftsrg
0
22
EmergenTheta: Verification Beyond Abstraction Refinement (SV-COMP Competition Contribution)
ftsrg
0
21
Introduction to software engineering
ftsrg
0
94
Research areas of the Critical Systems Research Group
ftsrg
0
92
History of the Critical Systems Research Group
ftsrg
0
24
V&V of Systems Engineering Models and Modeling Languages
ftsrg
0
330
Combining CEGAR and Lazy Abstraction for Verifying Timed Systems
ftsrg
0
83
Lazy Abstraction for Markov Decision Processes
ftsrg
0
110
The many meanings of UML 2 Sequence Diagrams: a survey
ftsrg
0
240
Automated isolation for white-box test generation
ftsrg
0
160
Classifying generated white-box tests: an exploratory study
ftsrg
0
260
Gazer-Theta: LLVM-based Verifier Portfolio with BMC-CEGAR
ftsrg
0
83
Evaluating and Improving White-Box Test Generation
ftsrg
0
110
Effective Domain-Specific Formal Verification Techniques
ftsrg
0
82
SMT-Friendly Formalization of the Solidity Memory Model
ftsrg
0
120

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