Lock in $30 Savings on PRO—Offer Ends Soon! ⏳
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

Theta as a Horn Solver
Avatar for Critical Systems Research Group ftsrg
0
48
CHCVerif: A Portfolio-Based Solver for Constrained Horn Clauses
Avatar for Critical Systems Research Group ftsrg
0
29
Theta: Modular Model Checker Built For Diverse Algorithm Configurations
Avatar for Critical Systems Research Group ftsrg
0
32
Evaluating and designing automated verification methods for critical software systems
Avatar for Critical Systems Research Group ftsrg
0
120
From Transpilers to​ Semantic Libraries
Avatar for Critical Systems Research Group ftsrg
0
60
Abstraction-Based Model Checking for Real-Time Software-Intensive System Models
Avatar for Critical Systems Research Group ftsrg
0
48
Efficient Manipulation of Logical Formulas as Decision Diagrams
Avatar for Critical Systems Research Group ftsrg
0
56
End-to-End Validation of Input Model Transformations in Model Checking Tools
Avatar for Critical Systems Research Group ftsrg
0
50
EmergenTheta: Verification Beyond Abstraction Refinement (SV-COMP Competition Contribution)
Avatar for Critical Systems Research Group ftsrg
0
49
Introduction to software engineering
Avatar for Critical Systems Research Group ftsrg
0
150
Research areas of the Critical Systems Research Group
Avatar for Critical Systems Research Group ftsrg
0
130
History of the Critical Systems Research Group
Avatar for Critical Systems Research Group ftsrg
0
55
V&V of Systems Engineering Models and Modeling Languages
Avatar for Critical Systems Research Group ftsrg
0
380
Combining CEGAR and Lazy Abstraction for Verifying Timed Systems
Avatar for Critical Systems Research Group ftsrg
0
120
Lazy Abstraction for Markov Decision Processes
Avatar for Critical Systems Research Group ftsrg
0
170
The many meanings of UML 2 Sequence Diagrams: a survey
Avatar for Critical Systems Research Group ftsrg
0
290
Automated isolation for white-box test generation
Avatar for Critical Systems Research Group ftsrg
0
200
Classifying generated white-box tests: an exploratory study
Avatar for Critical Systems Research Group ftsrg
0
300

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