Search Sciweavers | Sciweavers

1187 search results - page 3 / 238

» Graph-Based Procedural Abstraction

158

Voted

VMCAI
2010
Springer

172views Software Engineering» more VMCAI 2010»

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

16 years 1 months ago

Download ropas.snu.ac.kr

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

claim paper

Read More »

141

Voted

CAV
2005
Springer

120views Hardware» more CAV 2005»

Predicate Abstraction via Symbolic Decision Procedures

15 years 12 months ago

Download research.microsoft.com

Shuvendu K. Lahiri, Thomas Ball, Byron Cook

claim paper

Read More »

144

click to vote

CAEPIA
2005
Springer

66views Artificial Intelligence» more CAEPIA 2005»

A Hierarchical Pattern Matching Procedure for Signal Abstraction

15 years 11 months ago

Download biolab.uspceu.com

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

claim paper

Read More »

113

Voted

CAV
1998
Springer

77views Hardware» more CAV 1998»

Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures

15 years 10 months ago

Download www-step.stanford.edu

Michael Colón, Tomás E. Uribe

claim paper

Read More »

124

Voted

CGO
2009
IEEE

114views Software Engineering» more CGO 2009»

Procedural Abstraction with Reverse Prefix Trees

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers