Tomás Dacík

According to our database, Tomás Dacík authored at least 2 papers in 2024.

Collaborative distances:

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

2024

Deciding Boolean Separation Logic via Small Models (Technical Report).

Tomás Dacík, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger

CoRR, 2024

Deciding Boolean Separation Logic via Small Models.

Tomás Dacík, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024