![Arrays / Array data type / Array data structure / Equivalence relation / C / Uninterpreted function / Weak equivalence / Bit array / Satisfiability Modulo Theories / Computing / Software engineering / Computer programming Arrays / Array data type / Array data structure / Equivalence relation / C / Uninterpreted function / Weak equivalence / Bit array / Satisfiability Modulo Theories / Computing / Software engineering / Computer programming](https://www.pdfsearch.io/img/7aa1b01a69898ec2956e61b17e6fbc9a.jpg)
| Document Date: 2014-05-27 20:45:29 Open Document File Size: 189,06 KBShare Result on Facebook
City Oppen / / / Facility University of Freiburg / / IndustryTerm software model checking / software model checker / / MarketIndex TA / / Organization Transregional Collaborative Research Center / Department of Computer Science / German Research Council / University of Freiburg / / Person Jochen Hoenicke / Christ Hoenicke / / Position representative / / ProgrammingLanguage J / / ProvinceOrState Massachusetts / / PublishedMedium Complex Systems / /
SocialTag |