Lecture Notes in Computer Science - Verified Software. Theories, Tools, and Experiments
Latest Publications

TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783030035914, 9783030035921
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Map Equality Domain

2018 ◽  
pp. 291-308 ◽  
Author(s):  
Daniel Dietsch ◽  
Matthias Heizmann ◽  
Jochen Hoenicke ◽  
Alexander Nutz ◽  
Andreas Podelski

Verified Certificate Checking for Counting Votes

2018 ◽  
pp. 69-87 ◽  
Author(s):  
Milad K. Ghale ◽  
Dirk Pattinson ◽  
Ramana Kumar ◽  
Michael Norrish

A Java Bytecode Formalisation

2018 ◽  
pp. 135-154
Author(s):  
Patryk Czarnik ◽  
Jacek Chrząszcz ◽  
Aleksy Schubert
Keyword(s):  
Java Bytecode

scholarly journals Program Verification in the Presence of I/O

2018 ◽  
pp. 88-111 ◽  
Author(s):  
Hugo Férée ◽  
Johannes Åman Pohjola ◽  
Ramana Kumar ◽  
Scott Owens ◽  
Magnus O. Myreen ◽  
...  
Keyword(s):  
Program Verification

Lattice-Based Refinement in Bounded Model Checking

2018 ◽  
pp. 50-68
Author(s):  
Karine Even-Mendoza ◽  
Sepideh Asadi ◽  
Antti E. J. Hyvärinen ◽  
Hana Chockler ◽  
Natasha Sharygina
Keyword(s):  
Model Checking ◽  
Bounded Model Checking
Load More ...
Sign in / Sign up

Export Citation Format

Share Document