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

TOTAL DOCUMENTS

28
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642396106, 9783642396113
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Leveraging Accelerated Simulation for Floating-Point Regression

2013 ◽  
pp. 118-131
Author(s):  
John Paul ◽  
Elena Guralnik ◽  
Anatoly Koyfman ◽  
Amir Nahir ◽  
Subrat K. Panda
Keyword(s):  
Floating Point ◽  
Accelerated Simulation

scholarly journals FoREnSiC– An Automatic Debugging Environment for C Programs

2013 ◽  
pp. 260-265 ◽  
Author(s):  
Roderick Bloem ◽  
Rolf Drechsler ◽  
Görschwin Fey ◽  
Alexander Finder ◽  
Georg Hofferek ◽  
...  
Keyword(s):  
C Programs

scholarly journals MaxSAT-Based MCS Enumeration

2013 ◽  
pp. 86-101 ◽  
Author(s):  
Antonio Morgado ◽  
Mark Liffiton ◽  
Joao Marques-Silva

scholarly journals Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B

2013 ◽  
pp. 193-208 ◽  
Author(s):  
Faron Moller ◽  
Hoang Nga Nguyen ◽  
Markus Roggenbach ◽  
Steve Schneider ◽  
Helen Treharne
Keyword(s):  
Model Checking
Load More ...
Sign in / Sign up

Export Citation Format

Share Document