View all research projects
Research project

Consequencer

  • Research funder:
    EPSRC
  • Status:
    Not active

Research outputs

Separating computation from communication: a design approach for concurrent program verification
2016
Type: report
Lazy-CSeq 1.0
2015
Type: report
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C with unboundedly many Context Switches: (Competition Contribution)
2015
Type: report
Unbounded Lazy-CSeq: a lazy sequentialization tool for C programs with unbounded context switches (competition contribution)
2015
Type: conference
Verifying concurrent programs by memory unwinding
2015
Type: conference