Search Sciweavers | Sciweavers

1187 search results - page 3 / 238

» Graph-Based Procedural Abstraction

click to vote

VMCAI
2010
Springer

172views Software Engineering» more VMCAI 2010»

Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction

15 years 8 months ago

Download ropas.snu.ac.kr

Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun...

claim paper

Read More »

click to vote

CAV
2005
Springer

120views Hardware» more CAV 2005»

Predicate Abstraction via Symbolic Decision Procedures

15 years 7 months ago

Download research.microsoft.com

Shuvendu K. Lahiri, Thomas Ball, Byron Cook

claim paper

Read More »

Voted

CAEPIA
2005
Springer

66views Artificial Intelligence» more CAEPIA 2005»

A Hierarchical Pattern Matching Procedure for Signal Abstraction

15 years 7 months ago

Download biolab.uspceu.com

Abraham Otero, Paulo Félix, Santiago Fraga,...

claim paper

Read More »

Voted

CAV
1998
Springer

77views Hardware» more CAV 1998»

Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures

15 years 5 months ago

Download www-step.stanford.edu

Michael Colón, Tomás E. Uribe

claim paper

Read More »

click to vote

CGO
2009
IEEE

114views Software Engineering» more CGO 2009»

Procedural Abstraction with Reverse Prefix Trees

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers