452 search results - page 91 / 91 » Symbolic Execution of Behavioral Requirements |
SCP
2010
13 years 1 months ago
2010
In several Java VMs, strings consist of two separate objects: metadata such as the string length are stored in the actual string object, while the string characters are stored in ...
ISCA
2011
IEEE
12 years 10 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...