SRI International / Timed Systems / Dense Real-Time Systems / SRI International Computer Science Laboratory / /
Country
Denmark / United States / /
Currency
Rs / / /
Event
Product Issues / Person Communication and Meetings / /
Facility
Computer Science University of Aarhus / Computer Science University of Aarhus Ny Munkegade / /
Holiday
Assumption / /
IndustryTerm
much smaller transition systems / time-progressing systems / transition systems / real-time systems / predicate abstraction algorithm / fundamental graph-theoretic model checking algorithm / /
Organization
University of Aarhus / BRICS Department / National Science Foundation / U.S. Securities and Exchange Commission / Computer Science University of Aarhus Ny Munkegade / /
Person
Harald Rueß Maria Sorea / Maria Sorea / Harald Rueß / Harald Rueߧ Maria Sorea / / /
Position
guard / first author / /
Product
behavior / /
ProgrammingLanguage
C / /
ProvinceOrState
California / /
Technology
predicate abstraction algorithm / fundamental graph-theoretic model checking algorithm / terminating algorithm / /
BRICS Basic Research in Computer Science BRICS RSM¨oller et al.: Predicate Abstraction for Dense Real-Time Systems Predicate Abstraction for