Back to Search Start Over

SAT-based Bounded Model Checking for Timed Interpreted Systems and the RTECTLK properties

Authors :
Ireneusz Szcześniak
Bożena Woźna-Szcześniak
Source :
Scientific Issues Jan Długosz University in Częstochowa. Mathematics. 20:69-81
Publication Year :
2015
Publisher :
Uniwersytet Humanistyczno-Przyrodniczy im. Jana Dlugosza w Czestochowie, 2015.

Subjects

Subjects :
Model checking
Discrete mathematics
Computer science
Bounded function
Interpreted systems

Details

ISSN :
18960286
Volume :
20
Database :
OpenAIRE
Journal :
Scientific Issues Jan Długosz University in Częstochowa. Mathematics
Accession number :
edsair.doi...........68e0f713b3ab21585f99d7a0d3a76b39
Full Text :
https://doi.org/10.16926/m.2015.20.08
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details