View all research projects
Research project

Consequencer

  • Research funder:
    EPSRC
  • Status:
    Not active

Research outputs

Lazy-CSeq 2.0: combining lazy sequentialization with abstract interpretation
2017
DOI: 10.1007/978-3-662-54580-5_26
Type: conference
Lazy Sequentialization for TSO and PSO via Shared Memory Abstractions
2016
Type: conference
Embedding weak memory models within eager sequentialization
2016
Type: report
Lazy sequentialization for the safety verification of unbounded concurrent programs
2016
DOI: 10.1007/978-3-319-46520-3_12
Type: conference
MU-CSeq 0.4: individual memory location unwindings: (competition contribution)
2016
Type: conference