Featured

Business

Design

Education

How-to & DIY

Marketing & SEO

Programming

Research

Science

Storyboards

Technology

Exactpro

PRO exactpro

0 Stars

Decks

Formal Verification of Solidity Contracts

PRO

0

120

Decentralized finance on Ethereum. Q&A session

PRO

0

45

Formal verification of software. Q&A session

PRO

0

51

Decentralized finance on Ethereum

PRO

0

100

Formal verification of software

PRO

0

160

Agile Testing and Guinea Pigs

PRO

0

130

TMPA-2021: Formal Methods: Theory and Practice of Linux Verification Center (Part 2 - Testing of Operating Systems)

PRO

0

97

TMPA-2021: Optic Flow approximated by a homogeneous, three-dimensional Point Renewal Process

PRO

0

160

TMPA-2021: Detection of flying objects using the YOLOv4 convolutional neural network

PRO

0

130

TMPA-2021: Link graph and data-driven graphs as complex networks: comparative study

PRO

0

110

TMPA-2021: Unpaired Image-to-Image Translation using Transformer-based CycleGAN

PRO

0

140

TMPA-2021: SPIDER: Specification-based Integration Defect Revealer

PRO

0

140

TMPA-2021: An approach to create a synthetic financial transactions dataset based on NDA-protected dataset

PRO

0

170

TMPA-2021: AUTOMATION IN SOFTWARE TESTING. HUMANS AND COMPLEX MODELS.

PRO

0

78

TMPA-2021: Formal Verification of the Eth2.0 beacon Chain

PRO

0

75

TMPA-2021: Searching for Deviations in Trading Systems: Combining Control-Flow and Data Perspectives

PRO

0

110

TMPA-2021: Data Stream Processing in Reconciliation Testing: Industrial Experience

PRO

0

150

TMPA-2021: Model-based Testing Approach for Financial Technology Platforms: An Industrial Implementation

PRO

0

110

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