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..