DISIT Lab of University of Florence | DISIT Lab of University of Florence

Warning: Duplicate entry '4731972' for key 'PRIMARY' query: INSERT INTO watchdog (uid, type, message, variables, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', '%message in %file on line %line.', 'a:4:{s:6:\"%error\";s:12:\"user warning\";s:8:\"%message\";s:772:\"Duplicate entry '1363734' for key 'PRIMARY'\nquery: INSERT INTO axdbv4.download(type,AXOID,AXUID,rootobjectsinfo_format, rootobjectsinfo_type, platform,userAgent,ipAddress,portal,http_via,http_x_forwarded_for,section,locale,search_order,qid,enrich, results, session_id,referer) VALUES ('VIEW','urn:axmedis:00000:obj:941a0212-7812-474f-a14f-e41566d4a098','0','document','pdf','macosx+safari','Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/130.0.0.0 S in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128

Warning: Duplicate entry '4731972' for key 'PRIMARY' query: INSERT INTO watchdog (uid, type, message, variables, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', '%message in %file on line %line.', 'a:4:{s:6:\"%error\";s:12:\"user warning\";s:8:\"%message\";s:837:\"Duplicate entry '4731972' for key 'PRIMARY'\nquery: INSERT INTO watchdog\n (uid, type, message, variables, severity, link, location, referer, hostname, timestamp)\n VALUES\n (0, 'content download', 'db error: %error, %data', 'a:2:{s:6:\\"%error\\";b:0;s:5:\\"%data\\";s:261:\\"VIEW|urn:axmedis:00000:obj:941a0212-7812-474f-a14f-e41566d4a098|0|document|pdf|macosx+safari|Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/130.0.0.0 Safari/537.36|8.160.131.14|PC||8.160.131. in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128

Warning: Duplicate entry '4731972' for key 'PRIMARY' query: INSERT INTO watchdog (uid, type, message, variables, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', '%message in %file on line %line.', 'a:4:{s:6:\"%error\";s:7:\"warning\";s:8:\"%message\";s:258:\"file_get_contents(http://www.disit.org/scorrimento3.html) [<a href=\'function.file-get-contents\'>function.file-get-contents</a>]: failed to open stream: Unable to find the socket transport "ssl" - did you forget to enable it when you configured PHP?\";s:5:\"%file\";s:110:\"C:\\Programmi\\Apache Software Foundation\\Apache2.2\\htdocs\\drupal\\sites\\default\\themes\\custom\\eclap\\template.php\";s:5:\"%line\";i:39;}', 3, '', 'http://www.disit.org/drupal/?axoid=urn%3Aaxmedis%3A00000%3Aobj%3A941a0212-7812-474f-a14f-e41566d4a098&ml=en&q=en-US%2Fhome& in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128

Warning: Duplicate entry '4731972' for key 'PRIMARY' query: INSERT INTO watchdog (uid, type, message, variables, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', '%message in %file on line %line.', 'a:4:{s:6:\"%error\";s:7:\"warning\";s:8:\"%message\";s:256:\"file_get_contents(http://www.disit.org/RightBarMM.html) [<a href=\'function.file-get-contents\'>function.file-get-contents</a>]: failed to open stream: Unable to find the socket transport "ssl" - did you forget to enable it when you configured PHP?\";s:5:\"%file\";s:110:\"C:\\Programmi\\Apache Software Foundation\\Apache2.2\\htdocs\\drupal\\sites\\default\\themes\\custom\\eclap\\template.php\";s:5:\"%line\";i:41;}', 3, '', 'http://www.disit.org/drupal/?axoid=urn%3Aaxmedis%3A00000%3Aobj%3A941a0212-7812-474f-a14f-e41566d4a098&ml=en&q=en-US%2Fhome� in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128
DISIT Lab of University of Florence | DISIT Lab of University of Florence

deep search

collection's Playback

Metadata

Metadata languages

Title Temporal Logics for Real-Time System Specification

Subject real time systems specification, formal methods, tilco, uml

Description real time systems specification, formal methods, tilco, uml

Description The specification of reactive and real-time systems must be supported by formal mathematically founded methods to be satisfactory and reliable Temporal logics have been used to this end for several years. Temporal logics allow the specification of system behavior in terms of logical formulae including temporal constraints, events, and the relationships between the two. In the last years, temporal logics have reached a high degree of expressiveness, Most of the temporal logics proposed in the last few years can be used for specifying of reactive systems, although not all are suitable for specifying real time systems. In this paper, we present a series of criteria for assessing the capabilities of temporal logics for the specification, validation, and verification of real-time systems. Among the criteria are the logic's expressiveness. the logic's order, the presence of a metric for time, the type of temporal operators, the fundamental time entity, and the structure of time. We examine a selection of temporal logics proposed in the literature. To make the comparison clearer a set of typical specifications has been identified and used with most of the temporal logics considered, thus presenting the reader with a number of real examples.

Technical

Classification

IPR information

Location

Actions

Average:

Your rating: None

Submitted by root on Fri, 2014-02-07 01:02

Search Filter

Content

Organize Personal Collection

Select resources to add to collections

Do you really want to start
from scratch?

Classification

Warning: Table '.\drupal\sessions' is marked as crashed and should be repaired query: UPDATE sessions SET uid = 0, cache = 0, hostname = '192.168.0.44', session = 'hidePDA|s:1:\"0\";', timestamp = 1766610728 WHERE sid = '9199a0f84892a86eb843e1c2e739db5f' in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128