Open AccessThe e-ACSL perspective on runtime assertion checking
Author(s) -
Julien Signoles
Publication year - 2021
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
DOI - 10.1145/3464974.3468451
Subject(s) - assertion , programming language , computer science , eiffel , code (set theory) , interface (matter) , perspective (graphical) , runtime verification , formal verification , model checking , operating system , set (abstract data type) , object oriented programming , artificial intelligence , bubble , maximum bubble pressure method
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom