Arne Borälv

Publication Activity (10 Years)

Years Active: 1997-2019
Publications (10 Years): 2

Top Topics

Automated Theorem Proving

Design Automation

Temporal Properties

Top Venues

Publications

Maurice H. ter Beek, Arne Borälv, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Christer Löfving, Franco Mazzanti
Adopting Formal Methods in an Industrial Setting: The Railways Case. FM (2019)
Arne Borälv
Interlocking Design Automation Using Prover Trident. FM (2018)
Per Bjesse, Arne Borälv
DAG-aware circuit compression for formal verification. ICCAD (2004)
Arne Borälv
Case Study: Formal Verification of a Computerized Railway Interlocking. Formal Aspects Comput. 10 (4) (1998)
Arne Borälv
The Industrial Success of Verification Tools Based on Stålmarck's Method. CAV (1997)