SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java
暂无分享,去创建一个
[1] Ana Cavalcanti,et al. Control Law Diagrams in Circus , 2005, FM.
[2] Martin Schoeberl,et al. Exhaustive testing of safety critical Java , 2010, JTRES '10.
[3] Jim Woodcock,et al. Circus Time with Reactive Designs , 2012, UTP.
[4] Augusto Sampaio,et al. A Refinement Strategy for Circus , 2003, Formal Aspects of Computing.
[5] Michael D. Ernst,et al. An overview of JML tools and applications , 2003, International Journal on Software Tools for Technology Transfer.
[6] Jan Vitek,et al. Static checking of safety critical Java annotations , 2010, JTRES '10.
[7] Alvaro Miyazawa. Formal verification of implementations of Stateflow charts , 2012 .
[8] A. W. Roscoe. Understanding Concurrent Systems , 2010, Texts in Computer Science.
[9] Takeo Kanade,et al. Unifying Theories of Programming , 2010, Lecture Notes in Computer Science.
[10] Gary T. Leavens,et al. The design of SafeJML, a specification language for SCJ with support for WCET specification , 2010, JTRES '10.
[11] Ana Cavalcanti,et al. Refinement-oriented models of Stateflow charts , 2012, Sci. Comput. Program..
[12] Marcel Vinícius Medeiros Oliveira. Formal derivation of state-rich reactive programs using Circus , 2005 .
[13] Jim Woodcock,et al. Using Z - specification, refinement, and proof , 1996, Prentice Hall international series in computer science.
[14] Ana Cavalcanti,et al. SCJ: Memory-Safety Checking without Annotations , 2014, FM.
[15] Andy J. Wellings,et al. Safety-critical Java programs from Circus models , 2013, Real-Time Systems.
[16] Andy J. Wellings. Concurrent and real-time programming in Java , 2004 .
[17] Ana Cavalcanti,et al. Refinement-based verification of implementations of Stateflow charts , 2013, Formal Aspects of Computing.
[18] Andy J. Wellings,et al. Circus Models for Safety-Critical Java Programs , 2014, Comput. J..
[19] Augusto Sampaio,et al. Unifying classes and processes , 2005, Software & Systems Modeling.