ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Green network automatic abstraction algorithm
Journal of Computer Applications
◽
10.3724/sp.j.1087.2012.02030
◽
2013
◽
Vol 32
(7)
◽
pp. 2030-2032
Author(s):
Long LONG
◽
Wei DENG
Keyword(s):
Automatic Abstraction
Download Full-text
Related Documents
Cited By
References
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
◽
Cited By ~ 2
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
◽
Cited By ~ 2
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
◽
Cited By ~ 38
Author(s):
Patrice Godefroid
◽
Radha Jagadeesan
Keyword(s):
Model Checking
◽
Generalized Model
◽
Automatic Abstraction
Download Full-text
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
◽
Cited By ~ 6
Author(s):
M. Calder
◽
A. Miller
Keyword(s):
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
◽
Cited By ~ 16
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
◽
Cited By ~ 9
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
◽
Cited By ~ 1
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
◽
Cited By ~ 8
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
◽
Cited By ~ 7
Author(s):
Sara Adams
◽
Magnus Bjork
◽
Tom Melham
◽
Carl-Johan Seger
Keyword(s):
Symbolic Trajectory Evaluation
◽
Automatic Abstraction
◽
Symbolic Trajectory
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close