<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2008-09-22 13:35:00Promela Software engineering Model checkers Model checking SPIN model checker |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2008-09-22 13:35:00Promela Software engineering Model checkers Model checking SPIN model checker |
Add to Reading List |
RESY: Requirement Synthesis for Compositional Model Checking⋆ Bernd Finkbeiner, Hans-J¨org Peter, and Sven Schewe Universit¨ at des SaarlandesSaarbr¨