Lecture Notes in Computer Science - Integrated Formal Methods
Latest Publications

TOTAL DOCUMENTS

24
(FIVE YEARS 24)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer International Publishing

9783030634605, 9783030634612
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automatic Generation of Guard-Stable Floating-Point Code

2020 ◽  
pp. 141-159
Author(s):  
Laura Titolo ◽  
Mariano Moscato ◽  
Marco A. Feliu ◽  
César A. Muñoz
Keyword(s):  
Automatic Generation ◽  
Floating Point ◽  
Point Code

Clustering-Guided SMT($$\mathcal {L\!R\!A}$$) Learning

2020 ◽  
pp. 41-59
Author(s):  
Tim Meywerk ◽  
Marcel Walter ◽  
Daniel Große ◽  
Rolf Drechsler

Philosophers May Dine - Definitively!

2020 ◽  
pp. 419-439
Author(s):  
Safouan Taha ◽  
Burkhart Wolff ◽  
Lina Ye

Tight Error Analysis in Fixed-Point Arithmetic

2020 ◽  
pp. 318-336
Author(s):  
Stella Simić ◽  
Alberto Bemporad ◽  
Omar Inverso ◽  
Mirco Tribastone
Keyword(s):  
Fixed Point ◽  
Error Analysis ◽  
Fixed Point Arithmetic ◽  
Point Arithmetic

scholarly journals Active Objects with Deterministic Behaviour

2020 ◽  
pp. 181-198
Author(s):  
Ludovic Henrio ◽  
Einar Broch Johnsen ◽  
Violet Ka I. Pun
Keyword(s):  
Active Objects

scholarly journals History-Based Specification and Verification of Java Collections in KeY

2020 ◽  
pp. 199-217
Author(s):  
Hans-Dieter A. Hiep ◽  
Jinting Bian ◽  
Frank S. de Boer ◽  
Stijn de Gouw
Keyword(s):  
Specification And Verification
Load More ...
Sign in / Sign up

Export Citation Format

Share Document