Tests and Proofs - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

10
(FIVE YEARS 10)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer International Publishing

9783030509941, 9783030509958
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

SAT Modulo Differential Equation Simulations

2020 ◽  
pp. 80-99
Author(s):  
Tomáš Kolárik ◽  
Stefan Ratschan
Keyword(s):  
Differential Equation

scholarly journals Verified Runtime Assertion Checking for Memory Properties

2020 ◽  
pp. 100-121
Author(s):  
Dara Ly ◽  
Nikolai Kosmatov ◽  
Frédéric Loulergue ◽  
Julien Signoles
Keyword(s):  
Runtime Assertion Checking

Deductive Binary Code Verification Against Source-Code-Level Specifications

2020 ◽  
pp. 43-58
Author(s):  
Alexander Kamkin ◽  
Alexey Khoroshilov ◽  
Artem Kotsynyak ◽  
Pavel Putro
Keyword(s):  
Binary Code ◽  
Source Code ◽  
Code Verification

scholarly journals sasa: A SimulAtor of Self-stabilizing Algorithms

2020 ◽  
pp. 143-154
Author(s):  
Karine Altisen ◽  
Stéphane Devismes ◽  
Erwan Jahier

scholarly journals Testing for Race Conditions in Distributed Systems via SMT Solving

2020 ◽  
pp. 122-140
Author(s):  
João Carlos Pereira ◽  
Nuno Machado ◽  
Jorge Sousa Pinto
Keyword(s):  
Distributed Systems ◽  
Smt Solving ◽  
Race Conditions
Load More ...
Sign in / Sign up

Export Citation Format

Share Document