{"language":[{"iso":"eng"}],"_id":"39461","series_title":"Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen","citation":{"mla":"Flake, Stephan, et al. Structured English for Model Checking Specification. 2000.","bibtex":"@article{Flake_Müller_Ruf_2000, place={Frankfurt}, series={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen}, title={Structured English for Model Checking Specification}, author={Flake, Stephan and Müller, Wolfgang and Ruf, Jürgen}, year={2000}, collection={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen} }","apa":"Flake, S., Müller, W., & Ruf, J. (2000). Structured English for Model Checking Specification.","ieee":"S. Flake, W. Müller, and J. Ruf, “Structured English for Model Checking Specification.” Frankfurt, 2000.","ama":"Flake S, Müller W, Ruf J. Structured English for Model Checking Specification. Published online 2000.","chicago":"Flake, Stephan, Wolfgang Müller, and Jürgen Ruf. “Structured English for Model Checking Specification.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen. Frankfurt, 2000.","short":"S. Flake, W. Müller, J. Ruf, (2000)."},"place":"Frankfurt","year":"2000","author":[{"full_name":"Flake, Stephan","last_name":"Flake","first_name":"Stephan"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"},{"last_name":"Ruf","full_name":"Ruf, Jürgen","first_name":"Jürgen"}],"date_updated":"2023-01-24T11:13:33Z","title":"Structured English for Model Checking Specification","department":[{"_id":"672"}],"user_id":"5786","status":"public","date_created":"2023-01-24T11:13:28Z","abstract":[{"lang":"eng","text":"Model checking has received wide acceptance as a valuable technique in the field of electronic\r\ndesign automation and is currently of growing interest in general systems design. Though its\r\nconcepts and applications are well understood it often turns out that engineers have severe\r\nproblems with the specification process and the underlying notation, i.e., formulation and\r\nunderstanding of specifications through means of temporal logic formulae. In this article, we\r\npresent an approach for a natural language–oriented representation of temporal logic formulae\r\nby introducing patterns of structured English sentences for Clocked CTL (CCTL) specification.\r\nAfter outlining the basic patterns of the sentences we give their semantics by a translation to\r\nCCTL. A final example demonstrates their application."}],"type":"conference"}