Sciweavers

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

7

APSEC
2005
IEEE

favoriteEmaildiscussreport

95views Software Engineering» more APSEC 2005»

A Lightweight Integration of Theorem Proving and Model Checking for System Verification

13 years 10 months ago

A Lightweight Integration of Theorem Proving and Model Checking for System Verification

Download www.jaist.ac.jp

Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi,

Real-time Traffic

APSEC 2005 | Software Engineering |

claim paper

Related Content

» Hybrid verification integrating HOL theorem proving with MDG model checking

» Lazy Theorem Proving for Bounded Model Checking over Infinite Domains

» A Methodology for LargeScale Hardware Verification

» LiftedFL A Pragmatic Implementation of Combined Model Checking and Theorem Proving

» Verification of OutOfOrder Processor Designs Using Model Checking and a LightWeight Comple...

» SLEDE lightweight verification of sensor network security protocol implementations

» Providing Automated Verification in HOL Using MDGs

» LCFstyle for Secure Verification Platform based on Multiway Decision Graphs

» Combining ACL2 and an automated verification tool to verify a multiplier

Post Info
More Details (n/a)

Added	24 Jun 2010
Updated	24 Jun 2010
Type	Conference
Year	2005
Where	APSEC
Authors	Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, Kazuhiro Ogata

Comments (0)