Sciweavers

395 search results - page 11 / 79

» Predicate Abstraction with Minimum Predicates

26

DT
2007

98views more DT 2007»

Combining Theorem Proving with Model Checking through Predicate Abstraction

13 years 10 months ago

Combining Theorem Proving with Model Checking through Predicate Abstraction

Download www.cs.utexas.edu

Sandip Ray, Rob Sumners

claim paper

Read More »

24

CORR
2009
Springer

117views Education» more CORR 2009»

Automated Predicate Abstraction for Real-Time Models

13 years 7 months ago

Automated Predicate Abstraction for Real-Time Models

Download www.informatik.uni-freiburg.de

Bahareh Badban, Stefan Leue, Jan-Georg Smaus

claim paper

Read More »

32

FAC
2010

93views more FAC 2010»

Verification and falsification of programs with loops using predicate abstraction

13 years 7 months ago

Verification and falsification of programs with loops using predicate abstraction

Download www.kroening.com

Daniel Kroening, Georg Weissenbacher

claim paper

Read More »

26

PLDI
2011
ACM

153views Programming Languages» more PLDI 2011»

Predicate abstraction and CEGAR for higher-order model checking

13 years 24 days ago

Predicate abstraction and CEGAR for higher-order model checking

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

Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno

claim paper

Read More »

21

AAAI
1990

77views Intelligent Agents» more AAAI 1990»

A Hierarchical Planner that Generates Its Own Hierarchies

13 years 11 months ago

A Hierarchical Planner that Generates Its Own Hierarchies

Download www.aaai.org

PABLO' is a nonlinear planner that reasons hially by generating abstract predicates. PABLO's abstract search spaces are generated automatically using predicate relaxatio...

Jens Christensen

claim paper

Read More »

« Prev « First page 11 / 79 Last » Next »