Sciweavers

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

67

PLDI
2011
ACM

favoriteEmaildiscussreport

153views Programming Languages» more PLDI 2011»

Predicate abstraction and CEGAR for higher-order model checking

14 years 13 days ago

Predicate abstraction and CEGAR for higher-order model checking

Download www.kb.ecei.tohoku.ac.jp

Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno

Real-time Traffic

PLDI 2011 | Programming Languages |

claim paper

Related Content

» Hybrid CEGAR combining variable hiding and predicate abstraction

» Induction in CEGAR for Detecting Counterexamples

» Typechecking HigherOrder Security Libraries

» Efficient Craig Interpolation for Linear Diophantine DisEquations and Linear Modular Equat...

» TypeChecking HigherOrder Polymorphic MultiMethods

» Verification of TreeProcessing Programs via HigherOrder Model Checking

» Homer A HigherOrder Observational Equivalence Model checkER

» Machine Instruction Syntax and Semantics in Higher Order Logic

» Symbolic Reachability Analysis of HigherOrder ContextFree Processes

Post Info
More Details (n/a)

Added	17 Sep 2011
Updated	17 Sep 2011
Type	Journal
Year	2011
Where	PLDI
Authors	Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno

Comments (0)