Search Sciweavers | Sciweavers

4573 search results - page 185 / 915

» Automated Reasoning

131

click to vote

JFP
2008

67views more JFP 2008»

Efficient execution in an automated reasoning environment

15 years 6 months ago

Download www.cs.utexas.edu

We describe a method that permits the user of a mechanized mathematical logic to write elegant logical definitions while allowing sound and efficient execution. In particular, the...

David A. Greve, Matt Kaufmann, Panagiotis Manolios...

claim paper

Read More »

120

click to vote

JAR
2006

63views more JAR 2006»

Automated Reasoning for Security Protocol Analysis

15 years 6 months ago

Download www.easychair.org

Alessandro Armando, David A. Basin, Jorge Cu&eacut...

claim paper

Read More »

134

click to vote

TOSEM
2008

75views more TOSEM 2008»

Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning

15 years 6 months ago

Download laser.cs.umass.edu

Jamieson M. Cobleigh, George S. Avrunin, Lori A. C...

claim paper

Read More »

103

click to vote

CORR
2002
Springer

89views Education» more CORR 2002»

A Spectrum of Applications of Automated Reasoning

15 years 6 months ago

Download ftp.mcs.anl.gov

Larry Wos

claim paper

Read More »

135

click to vote

IDA
1998
Springer

103views Information Technology» more IDA 1998»

Reasoning about Sensor Data for Automated System Identification

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers