Skip to main content
Top
Published in: International Journal on Software Tools for Technology Transfer 2/2024

Open Access 22-02-2024 | General

Monitoring of spatio-temporal properties with nonlinear SAT solvers

Authors: André Matos Pedro, Tomás Silva, Tiago Sequeira, João Lourenço, João Costa Seco, Carla Ferreira

Published in: International Journal on Software Tools for Technology Transfer | Issue 2/2024

loading …
Metadata
Title
Monitoring of spatio-temporal properties with nonlinear SAT solvers
Authors
André Matos Pedro
Tomás Silva
Tiago Sequeira
João Lourenço
João Costa Seco
Carla Ferreira
Publication date
22-02-2024
Publisher
Springer Berlin Heidelberg
Published in
International Journal on Software Tools for Technology Transfer / Issue 2/2024
Print ISSN: 1433-2779
Electronic ISSN: 1433-2787
DOI
https://doi.org/10.1007/s10009-024-00740-7

Other articles of this Issue 2/2024

International Journal on Software Tools for Technology Transfer 2/2024 Go to the issue

Premium Partner