Utilizing parametric systems for detection of pipeline hazards Lukáš CharvátAleš SmrčkaTomáš Vojnar General 30 September 2020 Pages: 1 - 28
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2019 Tomáš VojnarLijun Zhang General 31 July 2021 Pages: 29 - 31
Verifying safety of synchronous fault-tolerant algorithms by bounded model checking Ilina StoilkovskaIgor KonnovFlorian Zuleger General 30 August 2021 Pages: 33 - 48
Extended abstract dependency graphs Søren EnevoldsenKim Guldstrand LarsenJiří Srba General 07 August 2021 Pages: 49 - 65
Extending a brainiac prover to lambda-free higher-order logic Petar VukmirovićJasmin BlanchetteStephan Schulz General Open access 16 August 2021 Pages: 67 - 87
CESRBDDs: binary decision diagrams with complemented edges and edge-specified reductions Junaid BabarGianfranco CiardoAndrew Miner General 02 February 2022 Pages: 89 - 109
Using linear algebra in decomposition of Farkas interpolants Martin BlichaAntti E. J. HyvärinenNatasha Sharygina General Open access 05 August 2021 Pages: 111 - 125