Publications

Verifying Multiple Tla+ Configurations with Blast

AuthID
P-019-J5Q

Author(s)

Somson, P

Cunha, A

Document Type

Proceedings Paper

Year published

2025

Published

in 2025 IEEE/ACM 13TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE in FME Workshop on Formal Methods in Software Engineering, ISSN: 2380-873X

Pages: 135-145 (11)

Conference

13Th International Conference on Formal Methods in Software Engineering-Formalise, Date: APR 27-28, 2025, Location: Ottawa, CANADA

Indexing

Wos^®

Scopus^®

Dblp^®/en/publications/view/1362103

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1109/formalise66629.2025.00020

Dblp: conf/icse-formalise/SomsonC25

Scopus: 2-s2.0-105009040660

Wos: WOS:001554519900014

Source Identifiers

ISSN: 2380-873X

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Verifying Multiple Tla+ Configurations with Blast

Useful Links

Get Help

Federated Authentication (Click on the image)

Verifying Multiple Tla+ Configurations with Blast

Useful Links

Get Help