{"id":"https://openalex.org/W134591393","doi":"https://doi.org/10.1007/978-3-642-10373-5_16","title":"Graded-CTL: Satisfiability and Symbolic Model Checking","display_name":"Graded-CTL: Satisfiability and Symbolic Model Checking","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W134591393","doi":"https://doi.org/10.1007/978-3-642-10373-5_16","mag":"134591393"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-10373-5_16","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-10373-5_16","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109051838","display_name":"Alessandro Ferrante","orcid":null},"institutions":[{"id":"https://openalex.org/I250153783","display_name":"Kessler Foundation","ror":"https://ror.org/05hacyq28","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I250153783"]},{"id":"https://openalex.org/I4210145666","display_name":"Embedded Systems (United States)","ror":"https://ror.org/04742eh45","country_code":"US","type":"company","lineage":["https://openalex.org/I4210145666"]},{"id":"https://openalex.org/I2277624104","display_name":"Fondazione Bruno Kessler","ror":"https://ror.org/01j33xk10","country_code":"IT","type":"facility","lineage":["https://openalex.org/I2277624104"]}],"countries":["IT","US"],"is_corresponding":true,"raw_author_name":"Alessandro Ferrante","raw_affiliation_strings":["Embedded Systems Research Unit, Bruno Kessler Foundation, IRST, Via Sommarive, 18, 38123, Povo (TN), Italy"],"affiliations":[{"raw_affiliation_string":"Embedded Systems Research Unit, Bruno Kessler Foundation, IRST, Via Sommarive, 18, 38123, Povo (TN), Italy","institution_ids":["https://openalex.org/I2277624104","https://openalex.org/I4210145666","https://openalex.org/I250153783"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028876512","display_name":"Margherita Napoli","orcid":"https://orcid.org/0000-0001-6969-8273"},"institutions":[{"id":"https://openalex.org/I131729948","display_name":"University of Salerno","ror":"https://ror.org/0192m2k53","country_code":"IT","type":"education","lineage":["https://openalex.org/I131729948"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Margherita Napoli","raw_affiliation_strings":["Dip.to di Informatica ed Applicazioni \u201cR.M. Capocelli\u201d, Universit\u00e0 of Salerno, Via Ponte don Melillo, 84084, Fisciano, (SA), Italy","Dip.to di Informatica ed Applicazioni \"R.M. Capocelli\", Universit\u00e0 of Salerno, Via Ponte don Melillo, 84084, Fisciano, (SA), Italy"],"affiliations":[{"raw_affiliation_string":"Dip.to di Informatica ed Applicazioni \u201cR.M. Capocelli\u201d, Universit\u00e0 of Salerno, Via Ponte don Melillo, 84084, Fisciano, (SA), Italy","institution_ids":["https://openalex.org/I131729948"]},{"raw_affiliation_string":"Dip.to di Informatica ed Applicazioni \"R.M. Capocelli\", Universit\u00e0 of Salerno, Via Ponte don Melillo, 84084, Fisciano, (SA), Italy","institution_ids":["https://openalex.org/I131729948"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056422946","display_name":"Mimmo Parente","orcid":"https://orcid.org/0000-0002-4935-6003"},"institutions":[{"id":"https://openalex.org/I131729948","display_name":"University of Salerno","ror":"https://ror.org/0192m2k53","country_code":"IT","type":"education","lineage":["https://openalex.org/I131729948"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Mimmo Parente","raw_affiliation_strings":["Dip.to di Informatica ed Applicazioni \u201cR.M. Capocelli\u201d, Universit\u00e0 of Salerno, Via Ponte don Melillo, 84084, Fisciano, (SA), Italy","Dip.to di Informatica ed Applicazioni \"R.M. Capocelli\", Universit\u00e0 of Salerno, Via Ponte don Melillo, 84084, Fisciano, (SA), Italy"],"affiliations":[{"raw_affiliation_string":"Dip.to di Informatica ed Applicazioni \u201cR.M. Capocelli\u201d, Universit\u00e0 of Salerno, Via Ponte don Melillo, 84084, Fisciano, (SA), Italy","institution_ids":["https://openalex.org/I131729948"]},{"raw_affiliation_string":"Dip.to di Informatica ed Applicazioni \"R.M. Capocelli\", Universit\u00e0 of Salerno, Via Ponte don Melillo, 84084, Fisciano, (SA), Italy","institution_ids":["https://openalex.org/I131729948"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5109051838"],"corresponding_institution_ids":["https://openalex.org/I2277624104","https://openalex.org/I250153783","https://openalex.org/I4210145666"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":2.3017,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.88363936,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"306","last_page":"325"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9951000213623047,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9900000095367432,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7037516832351685},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6748310923576355},{"id":"https://openalex.org/keywords/computation-tree-logic","display_name":"Computation tree logic","score":0.6503620743751526},{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.6070725321769714},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5740314722061157},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.5682134032249451},{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.5328691005706787},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.4706548750400543},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.46798229217529297},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.4452819526195526},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.44462528824806213},{"id":"https://openalex.org/keywords/symbolic-trajectory-evaluation","display_name":"Symbolic trajectory evaluation","score":0.4340358376502991},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.29895126819610596},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.27649131417274475},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2508649528026581}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7037516832351685},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6748310923576355},{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.6503620743751526},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.6070725321769714},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5740314722061157},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.5682134032249451},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.5328691005706787},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.4706548750400543},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.46798229217529297},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.4452819526195526},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.44462528824806213},{"id":"https://openalex.org/C23123167","wikidata":"https://www.wikidata.org/wiki/Q7661193","display_name":"Symbolic trajectory evaluation","level":3,"score":0.4340358376502991},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.29895126819610596},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.27649131417274475},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2508649528026581},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-642-10373-5_16","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-10373-5_16","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.550000011920929}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W1489391022","https://openalex.org/W1501731334","https://openalex.org/W1501952738","https://openalex.org/W1503170978","https://openalex.org/W1523929643","https://openalex.org/W1537839830","https://openalex.org/W1540501475","https://openalex.org/W1554387452","https://openalex.org/W1556566737","https://openalex.org/W1582387102","https://openalex.org/W1588876385","https://openalex.org/W1590315663","https://openalex.org/W1636976386","https://openalex.org/W1970058891","https://openalex.org/W1971102936","https://openalex.org/W1988316905","https://openalex.org/W2028045996","https://openalex.org/W2030224590","https://openalex.org/W2033071128","https://openalex.org/W2047650874","https://openalex.org/W2048355938","https://openalex.org/W2051068608","https://openalex.org/W2057312772","https://openalex.org/W2061438988","https://openalex.org/W2061668660","https://openalex.org/W2062081943","https://openalex.org/W2068815633","https://openalex.org/W2086035610","https://openalex.org/W2120679104","https://openalex.org/W2125161077","https://openalex.org/W2127363472","https://openalex.org/W2158542561","https://openalex.org/W2166108892","https://openalex.org/W2167435507","https://openalex.org/W2168910152","https://openalex.org/W2402038485","https://openalex.org/W2476089118","https://openalex.org/W2479999086","https://openalex.org/W4233645044","https://openalex.org/W4253970047","https://openalex.org/W4285719527","https://openalex.org/W4300021588"],"related_works":["https://openalex.org/W2170753573","https://openalex.org/W2022117652","https://openalex.org/W2354386485","https://openalex.org/W120135115","https://openalex.org/W2518211214","https://openalex.org/W2252902320","https://openalex.org/W2404427064","https://openalex.org/W2362871145","https://openalex.org/W2913786471","https://openalex.org/W1548402307"],"abstract_inverted_index":null,"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":4},{"year":2015,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}