Back to Results
First PageMeta Content
Theoretical computer science / Models of computation / Symbol / First-order logic / Physical quantity / KeY / Lambda calculus / Dynamical system / Constructible universe / Logic / Mathematical logic / Model theory


AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB/TR 14 AVACS Editors: Board of SFB/TR 14 AVACS
Add to Reading List

Document Date: 2011-01-07 05:03:38

Open Document

File Size: 519,06 KB

Share Result on Facebook

Company

Verifying Parametric Hybrid Systems / 14 AVACS Differential Dynamic Logic for Verifying Parametric Hybrid Systems / SFB/TR 14 AVACS / Hybrid Systems / HP / /

/

Event

Reorganization / /

Facility

Andr´e Platzer University of Oldenburg / Germany Carnegie Mellon University / /

IndustryTerm

safety-critical systems / real-time programs / parametric systems / step-wise symbolic processing / compositional symbolic processing / /

Organization

Transregional Collaborative Research Center / Carnegie Mellon University / German Research Council / German Academic Exchange Service / Department of Computing Science / University of Oldenburg / Computer Science Department / Board of SFB/TR / /

Person

Reinhard Wilhelm / Martin Fr / Werner Damm / Andreas Podelski / Bernd Becker / /

Position

author / train controller / controller / discrete controller / /

PublishedMedium

Complex Systems / /

URL

www.avacs.org / /

SocialTag