Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

34
(FIVE YEARS 0)

H-INDEX

13
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642198342, 9783642198359
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Specification-Based Program Repair Using SAT

2011 ◽  
pp. 173-188 ◽  
Author(s):  
Divya Gopinath ◽  
Muhammad Zubair Malik ◽  
Sarfraz Khurshid
Keyword(s):  
Program Repair

scholarly journals S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems

2011 ◽  
pp. 254-257 ◽  
Author(s):  
Yashwanth Annpureddy ◽  
Che Liu ◽  
Georgios Fainekos ◽  
Sriram Sankaranarayanan
Keyword(s):  
Hybrid Systems ◽  
Temporal Logic

scholarly journals Loop Summarization and Termination Analysis

2011 ◽  
pp. 81-95 ◽  
Author(s):  
Aliaksei Tsitovich ◽  
Natasha Sharygina ◽  
Christoph M. Wintersteiger ◽  
Daniel Kroening
Keyword(s):  
Termination Analysis

scholarly journals QUASY: Quantitative Synthesis Tool

2011 ◽  
pp. 267-271 ◽  
Author(s):  
Krishnendu Chatterjee ◽  
Thomas A. Henzinger ◽  
Barbara Jobstmann ◽  
Rohit Singh
Keyword(s):  
Synthesis Tool ◽  
Quantitative Synthesis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document