Sciweavers

553 search results - page 3 / 111

» Verified, Executable Parsing

81

SP
1987
IEEE

48views Security Privacy» more SP 1987»

Toward Verified Execution Environments

15 years 6 months ago

Toward Verified Execution Environments

Download www.cs.utexas.edu

William R. Bevier, Warren A. Hunt Jr., William D. ...

claim paper

Read More »

82

CACM
2006

64views more CACM 2006»

Externally verifiable code execution

15 years 3 months ago

Externally verifiable code execution

Download sparrow.ece.cmu.edu

Arvind Seshadri, Mark Luk, Adrian Perrig, Leendert...

claim paper

Read More »

95

TOSEM
2008

91views more TOSEM 2008»

Combining symbolic execution with model checking to verify parallel numerical programs

15 years 2 months ago

Combining symbolic execution with model checking to verify parallel numerical programs

Download laser.cs.umass.edu

Stephen F. Siegel, Anastasia Mironova, George S. A...

claim paper

Read More »

88

LOGCOM
2002

52views more LOGCOM 2002»

Verifying Concurrent Systems with Symbolic Execution

15 years 2 months ago

Verifying Concurrent Systems with Symbolic Execution

Download deposit.ddb.de

Michael Balser, Christoph Duelli, Wolfgang Reif, G...

claim paper

Read More »

135

TSE
2010

148views more TSE 2010»

Program Behavior Discovery and Verification: A Graph Grammar Approach

15 years 1 months ago

Program Behavior Discovery and Verification: A Graph Grammar Approach

Download www.utdallas.edu

—Discovering program behaviors and functionalities can ease program comprehension and verification. Existing program analysis approaches have used text mining algorithms to infer...

Chunying Zhao, Jun Kong, Kang Zhang

claim paper

Read More »

« Prev « First page 3 / 111 Last » Next »