Executable Protocol Specific ation in ESL
暂无分享,去创建一个
[1] Joseph Sifakis,et al. Model checking , 1996, Handbook of Automated Reasoning.
[2] Alan J. Hu,et al. Monitor-Based Formal Specification of PCI , 2000, FMCAD.
[3] Edmund M. Clarke,et al. A Theory of Consistency for Modular Synchronous Systems , 2000, FMCAD.
[4] Adnan Aziz,et al. Modeling design constraints and biasing in simulation using BDDs , 1999, 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051).
[5] E.M. Clarke,et al. Verifying IP-core based system-on-chip designs , 1999, Twelfth Annual IEEE International ASIC/SOC Conference (Cat. No.99TH8454).
[6] Thomas A. Henzinger,et al. Alternating-time temporal logic , 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.
[7] Thomas A. Henzinger,et al. Reactive Modules , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
[8] Michael Sipser,et al. Introduction to the Theory of Computation , 1996, SIGA.
[9] Pierre Wolper,et al. Simple on-the-fly automatic verification of linear temporal logic , 1995, PSTV.
[10] Leslie Lamport,et al. The temporal logic of actions , 1994, TOPL.
[11] Masahiro Fujita,et al. Synthesis of controllers from interval temporal logic specification , 1993, Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93.
[12] Sérgio Vale Aguiar Campos,et al. Symbolic Model Checking , 1993, CAV.
[13] Andrew Seawright,et al. Synthesis from production-based specifications , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.
[14] Ronald L. Rivest,et al. Introduction to Algorithms , 1990 .
[15] David L. Dill,et al. Trace theory for automatic hierarchical verification of speed-independent circuits , 1989, ACM distinguished dissertations.
[16] Dov M. Gabbay,et al. The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems , 1987, Temporal Logic in Specification.
[17] Ben C. Moszkowski,et al. Executing temporal logic programs , 1986, Seminar on Concurrency.
[18] Pierre Wolper,et al. Synthesis of Communicating Processes from Temporal Logic Specifications , 1981, TOPL.
[19] Edmund M. Clarke,et al. Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons , 1982, Sci. Comput. Program..