Arne Borälv

According to our database, Arne Borälv authored at least 5 papers between 1997 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Adopting Formal Methods in an Industrial Setting: The Railways Case.

Maurice H. ter Beek, Arne Borälv, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Christer Löfving, Franco Mazzanti

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

Interlocking Design Automation Using Prover Trident.

Arne Borälv

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2004

DAG-aware circuit compression for formal verification.

Per Bjesse, Arne Borälv

Proceedings of the 2004 International Conference on Computer-Aided Design, 2004

1998

Case Study: Formal Verification of a Computerized Railway Interlocking.

Arne Borälv

Formal Aspects Comput., 1998

1997

The Industrial Success of Verification Tools Based on Stålmarck's Method.

Arne Borälv

Proceedings of the Computer Aided Verification, 9th International Conference, 1997