Back to Results
First PageMeta Content
Promela / Software engineering / Model checkers / Model checking / SPIN model checker


RESY: Requirement Synthesis for Compositional Model Checking⋆ Bernd Finkbeiner, Hans-J¨org Peter, and Sven Schewe Universit¨ at des SaarlandesSaarbr¨
Add to Reading List

Document Date: 2008-09-22 13:35:00

Open Document

File Size: 74,62 KB

Share Result on Facebook

City

Reading / /

/

Holiday

Assumption / /

IndustryTerm

software component verification / requirement synthesis tool / requirement synthesis algorithm / window protocol / Typical applications / /

Organization

German Research Foundation / Transregional Collaborative Research Center / IEEE Computer Society / /

Person

Bernd Finkbeiner / Peter / Sven Schewe Universit / /

Position

elevator controller / /

ProvinceOrState

Massachusetts / /

PublishedMedium

Complex Systems / /

Technology

sliding window protocol / requirement synthesis algorithm / /

URL

http /

SocialTag