Back to Results
First PageMeta Content
Data types / Type theory / Binary decision diagram / Boolean algebra / Diagrams / Model checking / Function / Variable / Type system / Mathematics / Mathematical logic / Software engineering


LNCS[removed]Domain Types: Abstract-Domain Selection Based on Variable Usage
Add to Reading List

Document Date: 2013-11-30 14:35:51

Open Document

File Size: 399,98 KB

Share Result on Facebook

Company

Springer International Publishing Switzerland / Intel / /

Facility

University of Passau / Germany Middlesex University / /

IndustryTerm

connectionhandshake protocol / subject systems / certain verification tool / Abstraction-based software / Software verifiers / state-exploration algorithm / software model checking / sensor-actor systems / software product lines / software-verification tools / software-verification problems / software verification / recent international software-verification competitions / /

MarketIndex

OOPS / COMP / /

OperatingSystem

Ubuntu / /

Organization

Middlesex University / London / University of Passau / /

Person

Alexander von Rhein / Franco Raimondi / Sven Apel / Dirk Beyer / /

Position

representative / CPA / programmer / /

ProgrammingLanguage

C / JAVA / L / /

Technology

simulation / state-exploration algorithm / JAVA / connectionhandshake protocol / /

URL

http /

SocialTag