Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
Frama-C Website
Commits
24906797
Commit
24906797
authored
Jul 13, 2021
by
Julien Signoles
Browse files
[publis] http
parent
412010f6
Pipeline
#36496
passed with stages
in 5 minutes and 26 seconds
Changes
2
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
_fc-publications/e-acsl/2021-vmcai-vjks.md
View file @
24906797
...
...
@@ -3,7 +3,7 @@ plugin: "e-acsl"
authors
:
"
Franck
Védrine,
Maxime
Jacquemin,
Nikolai
Kosmatov,
and
Julien
Signoles"
title
:
"
Runtime
abstract
interpretation
for
numerical
accuracy
and
robustness."
book
:
"
International
Conference
on
Verification,
Model
Checking,
and
Abstract
Interpretation
(VMCAI)"
link
:
http
s
://julien.signoles.free.fr/publis/2021_vmcai.pdf
link
:
http://julien.signoles.free.fr/publis/2021_vmcai.pdf
year
:
2021
category
:
other
---
...
...
_fc-publications/e-acsl/2021-vortex-s.md
View file @
24906797
...
...
@@ -3,7 +3,7 @@ plugin: "e-acsl"
authors
:
"
Julien
Signoles"
title
:
"
The
E-ACSL
Perspective
on
Runtime
Assertion
Checking"
book
:
"
International
Workshop
on
Verification
and
mOnitoring
at
Runtime
EXecution
(VORTEX)"
link
:
http
s
://julien.signoles.free.fr/publis/2021_vortex.pdf
link
:
http://julien.signoles.free.fr/publis/2021_vortex.pdf
year
:
2021
category
:
other
---
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment