FAQ

European Joint Conferences on Theory and Practice of Software

Known as: ETAPS, International Conference on Compiler Construction, Tools and Algorithms for Construction and Analysis of Systems 
The European Joint Conferences on Theory and Practice of Software (ETAPS) is a confederation of six computer science conferences taking place… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1992-2018
0102019922018

Related topics

Related topics

5 relations
Bernhard SteffenComputer scienceESOPFormal methods
(More)

Related mentions per year

Related mentions per year

1936-2019
19401960198020002020
European Joint Conferences on Theory and Practice of Software
Computer science
Software engineering
Formal methods
ESOP
Bernhard Steffen

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Stateless model checking for TSO and PSO
We present a technique for efficient stateless model checking of programs that execute under the relaxed memory models TSO and… (More)
  • figure 4
  • figure 6
  • figure 7
  • figure 8
  • table 1
Is this relevant?
2014
2014
Status Report on Software Verification
This report describes the 3rd International Competition on Software Verification (SV-COMP 2014), which is the third edition of a… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
2013
2013
Second Competition on Software Verification - (Summary of SV-COMP 2013)
This report describes the 2nd International Competition on Software Verification (SV-COMP 2013), which is the second edition of… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
2013
2013
Second Competition on Software Verification
This report describes the 2nd International Competition on Software Verification (SV-COMP 2013), which is the second edition of… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
2012
2012
LTL to Büchi Automata Translation: Fast and More Deterministic
We introduce improvements in the algorithm by Gastin and Oddoux translating LTL formulae into Büchi automata via very weak… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2012
Highly Cited
2012
Competition on Software Verification - (SV-COMP)
This report describes the definitions, rules, setup, procedure, and results of the 1st International Competition on Software… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
2005
2005
The finite and the infinite in temporal logic
At the last TACAS in Barcelona, already almost a year ago, Alur, Etessami, and Madhusudan [2004] introduced CaRet, a temporal… (More)
Is this relevant?
2002
2002
Alloy: A New Technology for Software Modelling
Alloy is a lightweight language for software modelling. It’s designed to be flexible and expressive, and yet amenable to fully… (More)
Is this relevant?
2000
2000
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking In Proc. Tools and Algorithms for the Construction and Analysis of Systems
Salsa is an invariant checker for speci cations in SAL (the SCR Abstract Language). To establish a formula as an invariant… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
1999
1999
Security Protocols and Specifications
Specifications for security protocols range from informal narrations of message flows to formal assertions of protocol properties… (More)
Is this relevant?