This paper reviews past work done by our group in the area of formal specification for reactive, real-time systems. Different approaches are discussed, emphasizing their ability to verify formal specifications and systematically derive test cases for the implementation. The specification languages reviewed here are TB nets (a specification formalism belonging to the class of high-level Petri nets) and TRIO (a real-time temporal logic language).
%0 Book Section
%1 ghezzi1993realtime
%A Ghezzi, Carlo
%A Felder, Miguel
%A Bellettini, Carlo
%B Software Engineering — ESEC '93
%D 1993
%E Sommerville, Ian
%E Paul, Manfred
%I Springer Berlin Heidelberg
%K analysis realtime
%P 11-36
%R 10.1007/3-540-57209-0_3
%T Real-time systems: A survey of approaches to formal specification and verification
%U http://dx.doi.org/10.1007/3-540-57209-0_3
%V 717
%X This paper reviews past work done by our group in the area of formal specification for reactive, real-time systems. Different approaches are discussed, emphasizing their ability to verify formal specifications and systematically derive test cases for the implementation. The specification languages reviewed here are TB nets (a specification formalism belonging to the class of high-level Petri nets) and TRIO (a real-time temporal logic language).
%@ 978-3-540-57209-1
@incollection{ghezzi1993realtime,
abstract = {This paper reviews past work done by our group in the area of formal specification for reactive, real-time systems. Different approaches are discussed, emphasizing their ability to verify formal specifications and systematically derive test cases for the implementation. The specification languages reviewed here are TB nets (a specification formalism belonging to the class of high-level Petri nets) and TRIO (a real-time temporal logic language).},
added-at = {2014-10-12T00:46:14.000+0200},
author = {Ghezzi, Carlo and Felder, Miguel and Bellettini, Carlo},
biburl = {https://www.bibsonomy.org/bibtex/2b04cf976b8c383e366490fd620a5e280/carlobellettini},
booktitle = {Software Engineering — ESEC '93},
doi = {10.1007/3-540-57209-0_3},
editor = {Sommerville, Ian and Paul, Manfred},
interhash = {72c596ad4b9f6460bba771ec2e1b26d5},
intrahash = {b04cf976b8c383e366490fd620a5e280},
isbn = {978-3-540-57209-1},
keywords = {analysis realtime},
language = {English},
pages = {11-36},
publisher = {Springer Berlin Heidelberg},
series = {Lecture Notes in Computer Science},
timestamp = {2014-10-14T13:09:31.000+0200},
title = {Real-time systems: A survey of approaches to formal specification and verification},
url = {http://dx.doi.org/10.1007/3-540-57209-0_3},
volume = 717,
year = 1993
}