论文信息 - Modular Regression Verification for Reactive Systems - 字舞流文

Modular Regression Verification for Reactive Systems

Mattias Ulbrich | Alexander Weigl | Daniel Lentzsch

[1] Aaron R. Bradley,et al. SAT-Based Model Checking without Unrolling , 2011, VMCAI.

[2] C. A. R. Hoare,et al. An axiomatic basis for computer programming , 1969, CACM.

[3] Daniel Kroening,et al. Modular Demand-Driven Analysis of Semantic Difference for Program Versions , 2017, SAS.

[4] Bertrand Meyer,et al. Applying 'design by contract' , 1992, Computer.

[5] Ofer Strichman,et al. Regression verification: proving the equivalence of similar programs , 2013, Softw. Test. Verification Reliab..

[6] Ofer Strichman,et al. Minimal unsatisfiable core extraction for SMT , 2016, 2016 Formal Methods in Computer-Aided Design (FMCAD).

[7] Marco Roveri,et al. The nuXmv Symbolic Model Checker , 2014, CAV.

[8] Birgit Vogel-Heuser,et al. Researching Evolution in Industrial Plant Automation: Scenarios and Documentation of the Pick and Place Unit , 2014 .

[9] Bernhard Beckert,et al. Regression Verification for Programmable Logic Controller Software , 2015, ICFEM.

[10] Bernhard Beckert,et al. On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of Systems , 2019, 2019 IEEE 17th International Conference on Industrial Informatics (INDIN).

[11] Shuvendu K. Lahiri,et al. Differential assertion checking , 2013, ESEC/FSE 2013.