default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 158

> Home > Journals > Science of Computer Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 158, June 2018

Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2016)

- view
  authority control:
- export record
  dblp key:
  - journals/scp/ButlerS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ButlerS18
Michael J. Butler, Klaus-Dieter Schewe:
Introduction to the ABZ 2016 Special issue. 1-2
- view
  authority control:
- export record
  dblp key:
  - journals/scp/MerzV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MerzV18
Stephan Merz, Hernán Vanzetto:
Encoding TLA⁺ into unsorted and many-sorted first-order logic. 3-20
- view
  authority control:
- export record
  dblp key:
  - journals/scp/SchellhornEPBR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/SchellhornEPBR18
Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Stefan Bodenmüller, Wolfgang Reif:
Symbolic execution for a clash-free subset of ASMs. 21-40
- view
  authority control:
- export record
  dblp key:
  - journals/scp/KringsL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/KringsL18
Sebastian Krings, Michael Leuschel:
Proof assisted bounded and unbounded symbolic model checking of software and system models. 41-63
- view
  authority control:
- export record
  dblp key:
  - journals/scp/AzmyMW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AzmyMW18
Noran Azmy, Stephan Merz, Christoph Weidenbach:
A machine-checked correctness proof for Pastry. 64-80
- view
  authority control:
- export record
  dblp key:
  - journals/scp/DobrikovL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/DobrikovL18
Ivaylo Dobrikov, Michael Leuschel:
Enabling analysis for Event-B. 81-99
- view
  authority control:
- export record
  dblp key:
  - journals/scp/BaughA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BaughA18
John W. Baugh Jr., Alper Altuntas:
Formal methods and finite element analysis of hurricane storm surge: A case study in software verification. 100-121
- view
  authority control:
- export record
  dblp key:
  - journals/scp/HoangSFBL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HoangSFBL18
Thai Son Hoang, Colin F. Snook, Asieh Salehi Fathabadi, Michael J. Butler, Lukas Ladenberger:
Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset. 122-147
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ArcainiBGMR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ArcainiBGMR18
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene:
Integrating formal methods into medical software development: The ASM approach. 148-167

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.