Tests and Proofs - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

10
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783319614663, 9783319614670
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Skolem Function Continuation for Quantified Boolean Formulas

2017 ◽  
pp. 129-138 ◽  
Author(s):  
Katalin Fazekas ◽  
Marijn J. H. Heule ◽  
Martina Seidl ◽  
Armin Biere
Keyword(s):  
Skolem Function ◽  
Quantified Boolean Formulas ◽  
Boolean Formulas

Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms

2017 ◽  
pp. 119-128 ◽  
Author(s):  
Martin Gogolla ◽  
Frank Hilken ◽  
Khanh-Hoang Doan ◽  
Nisha Desai

scholarly journals Symbolic Execution of Transition Systems with Function Summaries

2017 ◽  
pp. 41-58
Author(s):  
Imen Boudhiba ◽  
Christophe Gaston ◽  
Pascale Le Gall ◽  
Virgile Prevosto
Keyword(s):  
Symbolic Execution ◽  
Transition Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document