Verified Runtime Assertion Checking for Memory Properties

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-030-50995-8_6 ◽

2020 ◽

pp. 100-121

Author(s):

Dara Ly ◽

Nikolai Kosmatov ◽

Frédéric Loulergue ◽

Julien Signoles

Keyword(s):

Runtime Assertion Checking

Download Full-text

An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs

Runtime Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40787-1_10 ◽

2013 ◽

pp. 167-182 ◽

Cited By ~ 15

Author(s):

Nikolai Kosmatov ◽

Guillaume Petiot ◽

Julien Signoles

Keyword(s):

C Programs ◽

Runtime Assertion Checking ◽

Memory Monitoring

Download Full-text

Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems

Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development ◽

10.5220/0004877804800487 ◽

2014 ◽

Keyword(s):

Distributed Systems ◽

Theorem Proving ◽

Runtime Assertion Checking ◽

Concurrent And Distributed Systems

Download Full-text

A contextual interpretation of undefinedness for runtime assertion checking

Proceedings of the Sixth sixth international symposium on Automated analysis-driven debugging - AADEBUG'05 ◽

10.1145/1085130.1085150 ◽

2005 ◽

Cited By ~ 7

Author(s):

Yoonsik Cheon ◽

Gary T. Leavens

Keyword(s):

Runtime Assertion Checking

Download Full-text

Runtime Assertion Checking with the XJML tool

2014 IEEE Biennial Congress of Argentina (ARGENCON) ◽

10.1109/argencon.2014.6868486 ◽

2014 ◽

Author(s):

Edgar D. Ramirez-de-Leon ◽

Eddy A. Garcia-Alcocer ◽

Nicolas Torres-Martinez ◽

Oscar A. Chavez-Bosquez ◽

Julian J. Francisco-Leon

Keyword(s):

Runtime Assertion Checking

Download Full-text

A Lesson on Runtime Assertion Checking with Frama-C

Runtime Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40787-1_29 ◽

2013 ◽

pp. 386-399 ◽

Cited By ~ 8

Author(s):

Nikolai Kosmatov ◽

Julien Signoles

Keyword(s):

Runtime Assertion Checking

Download Full-text

How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification

Formal Methods for Components and Objects - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39656-7_11 ◽

2003 ◽

pp. 262-284 ◽

Cited By ~ 40

Author(s):

Gary T. Leavens ◽

Yoonsik Cheon ◽

Curtis Clifton ◽

Clyde Ruby ◽

David R. Cok

Keyword(s):

Formal Verification ◽

Runtime Assertion Checking

Download Full-text

Runtime Assertion Checking and Static Verification: Collaborative Partners

Leveraging Applications of Formal Methods, Verification and Validation. Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03421-4_6 ◽

2018 ◽

pp. 75-91 ◽

Cited By ~ 2

Author(s):

Fonenantsoa Maurica ◽

David R. Cok ◽

Julien Signoles

Keyword(s):

Static Verification ◽

Runtime Assertion Checking

Download Full-text

Efficient Runtime Assertion Checking for Properties over Mathematical Numbers

Runtime Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-60508-7_17 ◽

2020 ◽

pp. 310-322

Author(s):

Nikolai Kosmatov ◽

Fonenantsoa Maurica ◽

Julien Signoles

Keyword(s):

Runtime Assertion Checking

Download Full-text

Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-319-09099-3_13 ◽

2014 ◽

pp. 165-168 ◽

Cited By ~ 4

Author(s):

Nikolai Kosmatov ◽

Julien Signoles

Keyword(s):

Dynamic Analyses ◽

Runtime Assertion Checking

Download Full-text

JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity

Lecture Notes in Computer Science - FM 2008: Formal Methods ◽

10.1007/978-3-540-68237-0_18 ◽

2008 ◽

pp. 246-261 ◽

Cited By ~ 8

Author(s):

Patrice Chalin ◽

Frédéric Rioux

Keyword(s):

Error Reporting ◽

Runtime Assertion Checking

Download Full-text