Logical time: specification vs. implementation
暂无分享,去创建一个
[1] Stephen A. Edwards,et al. The synchronous languages 12 years later , 2003, Proc. IEEE.
[2] Kim G. Larsen,et al. Model Checking via Reachability Testing for Timed Automata , 1997, TACAS.
[3] Frédéric Mallet,et al. Specification and verification of time requirements with CCSL and Esterel , 2009, LCTES '09.
[4] Julien DeAntoni,et al. VHDL observers for clock constraint checking , 2010, International Symposium on Industrial Embedded System (SIES).
[5] Kenneth L. McMillan,et al. Interpolation and SAT-Based Model Checking , 2003, CAV.
[6] Stavros Tripakis,et al. Testing Conformance of Real-Time Applications by Automatic Generation of Observers , 2005, Electron. Notes Theor. Comput. Sci..
[7] Mary Sheeran,et al. Checking Safety Properties Using Induction and a SAT-Solver , 2000, FMCAD.
[8] Julien DeAntoni,et al. The Time Model of Logical Clocks Available in the OMG MARTE Profile , 2010, Synthesis of Embedded Software.
[9] Charles André,et al. Syntax and Semantics of the Clock Constraint Specification Language (CCSL) , 2009 .
[10] Gérard Berry,et al. The foundations of Esterel , 2000, Proof, Language, and Interaction.
[11] Jean-Philippe Babau,et al. Formal Evaluation of Quality of Service for Data Acquisition , 2005, FDL.
[12] Edward A. Lee. Modeling concurrent real-time processes using discrete events , 1999, Ann. Softw. Eng..
[13] Nicolas Halbwachs,et al. Synchronous Programming of Reactive Systems , 1992, CAV.
[14] Daniel Gajski,et al. Transaction level modeling: an overview , 2003, First IEEE/ACM/IFIP International Conference on Hardware/ Software Codesign and Systems Synthesis (IEEE Cat. No.03TH8721).
[15] Charles André,et al. Verification of clock constraints: CCSL Observers in Esterel , 2010 .
[16] Frédéric Mallet. Clock constraint specification language: specifying clock constraints with UML/MARTE , 2008, Innovations in Systems and Software Engineering.
[17] Alberto L. Sangiovanni-Vincentelli,et al. A methodology for correct-by-construction latency insensitive design , 1999, 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051).
[18] Joseph Buck,et al. Formal model construction using HDL simulation semantics , 2007, 2007 IEEE International High Level Design Validation and Test Workshop.
[19] Tim Weilkiens,et al. Systems engineering with SysML / UML - modeling, analysis, design , 2007 .
[20] Nicolas Halbwachs,et al. Synchronous Observers and the Verification of Reactive Systems , 1993, AMAST.