| Document Date: 2015-02-12 10:11:50
Open Document File Size: 628,13 KBShare Result on Facebook
City a BDD / / Company D. Beyer / Intel / / Country Germany / / Facility A. Stahlbauer University of Passau / / IndustryTerm configurable software verification / software verifiers / software model checking / iteration algorithm / push-down systems / exploration algorithms / finite-state systems / symbolic model-checking algorithm / controller software / software-verification framework / transition systems / real-time systems / software product lines / software verification / verification tool / / MarketIndex RERS / / OperatingSystem Linux / / Organization A. Stahlbauer University of Passau / MB CPU / / Person Dirk Beyer / Andreas Stahlbauer Published / / Position CPA / general data structures / CPA for location analysis / controller / / Product BDDs / / ProgrammingLanguage Promela / Java / L / J / C / / Technology ImProviso algorithm / RAM / analysis algorithm / Java / 123 510 Algorithm / BDD-based symbolic model-checking algorithm / Linux / 2.4 Analysis algorithm Algorithm / iteration algorithm / exploration algorithms / CPA algorithm / / URL http /
SocialTag |
Int J Softw Tools Technol Transfer[removed]:507–518 DOI[removed]s10009[removed]RERS BDD-based software verification