Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

16

TPHOL
1994
IEEE

favoriteEmaildiscussreport

111views Automated Reasoning» more TPHOL 1994»

Automating Verification by Functional Abstraction at the System Level

13 years 8 months ago

Automating Verification by Functional Abstraction at the System Level

Download rsg.informatik.uni-kl.de

Klaus Schneider, Ramayya Kumar, Thomas Kropf

Real-time Traffic

Automated Reasoning | TPHOL 1994 |

claim paper

Related Content

» Transistor abstraction for the functional verification of FPGAs

» Verification of a CAN bus model in SystemC with functional coverage

» Modelling and Verifying of eCommerce Systems

» A Functional Scenario for Bytecode Verification of Resource Bounds

» Race A WordLevel ATPGBased Constraints Solver System For Smart Random Simulation

» AssumeGuarantee Verification of Source Code with DesignLevel Assumptions

» A Method for Functional Alignment Verification in Hierarchical Enterprise Models

» HighLevel specification and automatic generation of IP interface monitors

» VerificationPurpose Operating System for Microprocessor SystemLevel Functions

Post Info
More Details (n/a)

Added	27 Aug 2010
Updated	27 Aug 2010
Type	Conference
Year	1994
Where	TPHOL
Authors	Klaus Schneider, Ramayya Kumar, Thomas Kropf

Comments (0)