Synthesis of Reactive(1) Designs

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/11609773_24 ◽

2005 ◽

pp. 364-380 ◽

Cited By ~ 151

Author(s):

Nir Piterman ◽

Amir Pnueli ◽

Yaniv Sa’ar

Download Full-text