Hardware and Software: Verification and Testing - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer International Publishing

9783319262864, 9783319262871
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Coverage-Driven Verification —

2015 ◽  
pp. 69-84 ◽  
Author(s):  
Dejanira Araiza-Illan ◽  
David Western ◽  
Anthony Pipe ◽  
Kerstin Eder

scholarly journals SAT-Based Explicit LTL Reasoning

2015 ◽  
pp. 209-224 ◽  
Author(s):  
Jianwen Li ◽  
Shufang Zhu ◽  
Geguang Pu ◽  
Moshe Y. Vardi

XSpeed: Accelerating Reachability Analysis on Multi-core Processors

2015 ◽  
pp. 3-18 ◽  
Author(s):  
Rajarshi Ray ◽  
Amit Gurung ◽  
Binayak Das ◽  
Ezio Bartocci ◽  
Sergiy Bogomolov ◽  
...  
Keyword(s):  
Reachability Analysis

scholarly journals Abstraction-Based Parameter Synthesis for Multiaffine Systems

2015 ◽  
pp. 19-35 ◽  
Author(s):  
Sergiy Bogomolov ◽  
Christian Schilling ◽  
Ezio Bartocci ◽  
Gregory Batt ◽  
Hui Kong ◽  
...  
Keyword(s):  
Parameter Synthesis

FudgeFactor: Syntax-Guided Synthesis for Accurate RTL Error Localization and Correction

2015 ◽  
pp. 259-275 ◽  
Author(s):  
Andrew Becker ◽  
Djordje Maksimovic ◽  
David Novo ◽  
Mohsen Ewaida ◽  
Andreas Veneris ◽  
...  
Keyword(s):  
Error Localization

Resource-Parameterized Timing Analysis of Real-Time Systems

2015 ◽  
pp. 190-205 ◽  
Author(s):  
Jin Hyun Kim ◽  
Axel Legay ◽  
Kim G. Larsen ◽  
Marius Mikučionis ◽  
Brian Nielsen
Keyword(s):  
Real Time ◽  
Timing Analysis ◽  
Real Time Systems ◽  
Time Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document