Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

43
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662488980, 9783662488997
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Using Program Synthesis for Program Analysis

2015 ◽  
pp. 483-498 ◽  
Author(s):  
Cristina David ◽  
Daniel Kroening ◽  
Matt Lewis
Keyword(s):  
Program Analysis ◽  
Program Synthesis

Automated Discovery of Simulation Between Programs

2015 ◽  
pp. 606-621 ◽  
Author(s):  
Grigory Fedyukovich ◽  
Arie Gurfinkel ◽  
Natasha Sharygina
Keyword(s):  
Automated Discovery

Analyzing Internet Routing Security Using Model Checking

2015 ◽  
pp. 112-129 ◽  
Author(s):  
Adi Sosnovich ◽  
Orna Grumberg ◽  
Gabi Nakibly
Keyword(s):  
Model Checking ◽  
Internet Routing ◽  
Routing Security

Abstract Domains and Solvers for Sets Reasoning

2015 ◽  
pp. 356-371
Author(s):  
Arlen Cox ◽  
Bor-Yuh Evan Chang ◽  
Huisong Li ◽  
Xavier Rival
Keyword(s):  
Abstract Domains

scholarly journals On CTL* with Graded Path Modalities

2015 ◽  
pp. 281-296 ◽  
Author(s):  
Benjamin Aminof ◽  
Aniello Murano ◽  
Sasha Rubin

Finding Inconsistencies in Programs with Loops

2015 ◽  
pp. 499-514 ◽  
Author(s):  
Temesghen Kahsai ◽  
Jorge A. Navas ◽  
Dejan Jovanović ◽  
Martin Schäf

ELPI: Fast, Embeddable, $$\lambda $$ Prolog Interpreter

2015 ◽  
pp. 460-468 ◽  
Author(s):  
Cvetan Dunchev ◽  
Ferruccio Guidi ◽  
Claudio Sacerdoti Coen ◽  
Enrico Tassi
Load More ...
Sign in / Sign up

Export Citation Format

Share Document