Advanced Design and Verification Environment for Cyber-physical System Engineering

[1]  Daniel Jackson,et al.  Software Abstractions - Logic, Language, and Analysis , 2006 .

[2]  Jean-Raymond Abrial,et al.  The B-book - assigning programs to meanings , 1996 .

[3]  Sriram K. Rajamani,et al.  The SLAM project: debugging system software via static analysis , 2002, POPL '02.

[4]  Virginie Wiels,et al.  Guidance for Using Formal Methods in a Certification Context , 2010 .

[5]  Elena Troubitsyna,et al.  Integrating safety analysis into formal specification of dependable systems , 2003, Proceedings International Parallel and Distributed Processing Symposium.

[6]  Jean-Raymond Abrial,et al.  Modeling in event-b - system and software engineering by Jean-Raymond Abrial , 2010, SOEN.

[7]  Michael J. Butler,et al.  Evaluation of Graphical Control Flow Management Approaches for Event-B Modelling , 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[8]  Gerard J. Holzmann,et al.  The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

[9]  Michael J. Butler,et al.  Practical Theory Extension in Event-B , 2013, Theories of Programming and Formal Methods.

[10]  Michael Butler,et al.  A Formal, Systematic Approach to STPA using Event-B Refinement and Proof , 2013 .

[11]  Thai Son Hoang,et al.  Rodin: an open toolset for modelling and reasoning in Event-B , 2010, International Journal on Software Tools for Technology Transfer.

[12]  Michael Leuschel,et al.  An Approach of Requirements Tracing in Formal Refinement , 2010, VSTTE.

[13]  Renato Silva.  Lessons Learned/Sharing the Experience of Developing a Metro System Case Study , 2012, ArXiv.

[14]  Amel Mammar,et al.  Industrialising a Proof-Based Verification Approach of Computerised Interlocking Systems , 2008 .

[15]  Michael J. Butler,et al.  Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B , 2010, NASA Formal Methods.

[16]  Thomas A. Henzinger,et al.  The software model checker Blast , 2007, International Journal on Software Tools for Technology Transfer.

[17]  Andrei Voronkov.  First-Order Theorem Provers: the Next Generation , 2002, Description Logics.

[18]  Colin F. Snook,et al.  A mixed approach to rigorous development of control designs , 2013, 2013 IEEE Conference on Computer Aided Control System Design (CACSD).

[19]  Michael J. Butler,et al.  ProB: an automated analysis toolset for the B method , 2008, International Journal on Software Tools for Technology Transfer.

[20]  D. Cooper.  Overview of Theorem Proving , 1985, SOEN.

[21]  Michael D. Ernst,et al.  An overview of JML tools and applications , 2003, International Journal on Software Tools for Technology Transfer.

[22]  Frank Waters,et al.  The B Book , 1971 .

[23]  Andreas Junghanns,et al.  The Functional Mockup Interface for Tool independent Exchange of Simulation Models , 2011 .

[24]  K. Rustan M. Leino,et al.  The Spec# Programming System: An Overview , 2004, CASSIS.