An automatic abstraction technique for verifying featured, parameterised systems

Theoretical Computer Science ◽

10.1016/j.tcs.2008.03.034 ◽

2008 ◽

Vol 404 (3) ◽

pp. 235-255 ◽

Author(s):

M. Calder ◽

A. Miller

Keyword(s):

Automatic Abstraction

Download Full-text

Automatic abstraction of real-time software and re-implementation in Ada

Proceedings of the conference on TRI-Ada '91 today's accomplishments; tomorrow's expectations - TRI-Ada '91 ◽

10.1145/126551.126576 ◽

1991 ◽

Author(s):

Noah Prywes ◽

Evan Lock ◽

Xiang Ge

Keyword(s):

Real Time ◽

Automatic Abstraction

Download Full-text

Automatic abstraction refinement of TR for PDR

2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC) ◽

10.1109/aspdac.2016.7427999 ◽

2016 ◽

Author(s):

Kuan Fan ◽

Ming-Jen Yang ◽

Chung-Yang Huang

Keyword(s):

Abstraction Refinement ◽

Automatic Abstraction

Download Full-text

Tearing based automatic abstraction for CTL model checking

Proceedings of International Conference on Computer Aided Design ◽

10.1109/iccad.1996.568969 ◽

2002 ◽

Author(s):

Woohyuk Lee ◽

A. Pardo ◽

Jae-Young Jang ◽

G. Hachtel ◽

F. Somenzi

Keyword(s):

Model Checking ◽

Automatic Abstraction

Download Full-text

Automatic Abstraction Using Generalized Model Checking

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-45657-0_11 ◽

2002 ◽

pp. 137-151 ◽

Author(s):

Patrice Godefroid ◽

Radha Jagadeesan

Keyword(s):

Model Checking ◽

Generalized Model ◽

Automatic Abstraction

Download Full-text

Automatic abstraction and verification of verilog models

Proceedings of the 41st annual conference on Design automation - DAC '04 ◽

10.1145/996566.996629 ◽

2004 ◽

Author(s):

Zaher S. Andraus ◽

Karem A. Sakallah

Keyword(s):

Automatic Abstraction

Download Full-text

Automatic Abstraction of Memories in the Formal Verification of Superscalar Microprocessors

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

10.1007/3-540-45319-9_18 ◽

2001 ◽

pp. 252-267 ◽

Author(s):

Miroslav N. Velev

Keyword(s):

Formal Verification ◽

Automatic Abstraction ◽

Superscalar Microprocessors

Download Full-text

Automatic Abstraction of Time-Varying System Models for Model Based Diagnosis

KI 2005: Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/11551263_15 ◽

2005 ◽

pp. 176-190 ◽

Author(s):

Pietro Torasso ◽

Gianluca Torta

Keyword(s):

Time Varying ◽

System Models ◽

Model Based ◽

Automatic Abstraction

Download Full-text

Automatic abstraction and fault tolerance in cortical microachitectures

ACM SIGARCH Computer Architecture News ◽

10.1145/2024723.2000066 ◽

2011 ◽

Vol 39 (3) ◽

pp. 1-10 ◽

Author(s):

Atif Hashmi ◽

Hugues Berry ◽

Olivier Temam ◽

Mikko Lipasti

Keyword(s):

Fault Tolerance ◽

Automatic Abstraction

Download Full-text

Automatic Abstraction in Symbolic Trajectory Evaluation

Formal Methods in Computer Aided Design (FMCAD'07) ◽

10.1109/famcad.2007.27 ◽

2007 ◽

Author(s):

Sara Adams ◽

Magnus Bjork ◽

Tom Melham ◽

Carl-Johan Seger

Keyword(s):

Symbolic Trajectory Evaluation ◽

Automatic Abstraction ◽

Symbolic Trajectory

Download Full-text

Automatic abstraction of stimulus structure from episodes: Comment on Whittlesea and Dorken (1993).

Journal of Experimental Psychology General ◽

10.1037/0096-3445.122.3.397 ◽

1993 ◽

Vol 122 (3) ◽

pp. 397-400 ◽

Author(s):

Robert C. Mathews ◽

Lewis G. Roussel

Keyword(s):

Automatic Abstraction

Download Full-text