Synthesis of programs from temporal property specifications
暂无分享,去创建一个
[1] Amir Pnueli,et al. On the synthesis of a reactive module , 1989, POPL '89.
[2] Amir Pnueli,et al. A Platform for Combining Deductive with Algorithmic Verification , 1996, CAV.
[3] Alonzo Church,et al. Logic, arithmetic, and automata , 1962 .
[4] Amir Pnueli,et al. Faster Solutions of Rabin and Streett Games , 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
[5] A. Pnueli,et al. CONTROLLER SYNTHESIS FOR TIMED AUTOMATA , 2006 .
[6] Rajeev Alur,et al. Deterministic generators and games for LTL fragments , 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
[7] Joseph Sifakis,et al. Controller Synthesis for Timed Automata 1 , 1998 .
[8] Edmund M. Clarke,et al. Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic , 1981, Logic of Programs.
[9] Pierre Wolper,et al. Synthesis of Communicating Processes from Temporal Logic Specifications , 1981, Logic of Programs.
[10] Amir Pnueli,et al. Synthesis of Reactive(1) Designs , 2006, VMCAI.
[11] J. R. Büchi,et al. Solving sequential conditions by finite-state strategies , 1969 .
[12] Amir Pnueli,et al. Automatic Hardware Synthesis from Specifications: A Case Study , 2007 .
[13] Amir Pnueli,et al. Bridging the gap between fair simulation and trace inclusion , 2005, Inf. Comput..
[14] Amir Pnueli,et al. On the Synthesis of an Asynchronous Reactive Module , 1989, ICALP.