Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

6th F-IDE@NFM 2021: Online

> Home > Conferences and Workshops > F-IDE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2108-02369
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-02369
José Proença, Andrei Paskevich:
Proceedings of the 6th Workshop on Formal Integrated Development Environment, F-IDE@NFM 2021, Held online, 24-25th May 2021. EPTCS 338, 2021
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2108-02961
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-02961
Jonas Kjær Rask, Frederik Palludan Madsen, Nick Battle, Hugo Daniel Macedo, Peter Gorm Larsen:
The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions. 3-18
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2108-02962
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-02962
Rutger van Beusekom, Bert de Jonge, Paul F. Hoogendijk, Jan Nieuwenhuizen:
Dezyne: Paving the Way to Practical Formal Software Engineering. 19-30
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2108-02963
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-02963
Mitja Kulczynski, Axel Legay, Dirk Nowotka, Danny Bøgsted Poulsen:
Analysis of Source Code Using UPPAAL. 31-38
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2108-03974
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-03974
Guillaume Melquiond:
Plotting in a Formally Verified Way. 39-45
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2108-02964
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-02964
Andrea Domenici, Cinzia Bernardeschi:
A Logic Theory Pattern for Linearized Control Systems. 46-52
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2108-02965
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-02965
Stefan Mitsch:
Implicit and Explicit Proof Management in KeYmaera X. 53-67
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2108-02966
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-02966
Shiri Morshtein, Ran Ettinger, Shmuel S. Tyszberowicz:
Verifying Time Complexity of Binary Search using Dafny. 68-81
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2108-02967
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-02967
Benedikt F. H. Becker, Cláudio Belo Lourenço, Claude Marché:
Explaining Counterexamples with Giant-Step Assertion Checking. 82-88
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2108-02968
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-02968
Gidon Ernst, Johannes Blau, Toby Murray:
Deductive Verification via the Debug Adapter Protocol. 89-96
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2108-02969
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-02969
Yannick Moy:
How the Analyzer can Help the User Help the Analyzer. 97-104

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.