Search Sciweavers | Sciweavers

1187 search results - page 3 / 238

» Graph-Based Procedural Abstraction

149

click to vote

VMCAI
2010
Springer

172views Software Engineering» more VMCAI 2010»

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

16 years 23 days ago

Download ropas.snu.ac.kr

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

claim paper

Read More »

130

click to vote

CAV
2005
Springer

120views Hardware» more CAV 2005»

Predicate Abstraction via Symbolic Decision Procedures

15 years 11 months ago

Download research.microsoft.com

Shuvendu K. Lahiri, Thomas Ball, Byron Cook

claim paper

Read More »

135

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 »

105

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 »

118

click to vote

CGO
2009
IEEE

114views Software Engineering» more CGO 2009»

Procedural Abstraction with Reverse Prefix Trees

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers