Treffer: A semantic framework for the abstract model checking of tccp programs
Title:
A semantic framework for the abstract model checking of tccp programs
Source:
Theoretical Computer Science. 346:58-95
Publisher Information:
Elsevier BV, 2005.
Publication Year:
2005
Subject Terms:
Model checking, Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.), Specification and verification (program logics, model checking, etc.), Timed Concurrent Constraint programming, 0202 electrical engineering, electronic engineering, information engineering, Abstract interpretation, timed concurrent constraint programming, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Computer Science(all)
Document Type:
Fachzeitschrift
Article
File Description:
application/xml
Language:
English
ISSN:
0304-3975
DOI:
10.1016/j.tcs.2005.08.009
Rights:
Elsevier Non-Commercial
Accession Number:
edsair.doi.dedup.....597816c3d122a7af2c3ffe6f91c59b44
Database:
OpenAIRE
Weitere Informationen
zbMATH Open Web Interface contents unavailable due to conflicting licenses.