Back to Results
First PageMeta Content
Data types / Primitive types / Debuggers / Software bugs / Profilers / Valgrind / Pointer / C / Stack / Computing / Software engineering / Computer programming


Document Date: 2015-05-28 15:51:34

Open Document

File Size: 248,73 KB

Share Result on Facebook

City

Emulation / Boston / Anaheim / /

/

Facility

EECS Department University of California Berkeley / /

IndustryTerm

model checking algorithm / memory debugging tool / valgrind tool / gdb. http /

OperatingSystem

Gnu / /

Organization

University of California / /

Person

Bruno Luiz / Silvio Cesare / /

Position

extractor / editor / /

Technology

simulation / finite state machine / model checking algorithm / /

URL

http /

SocialTag