A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Symbolic model checking of Dual Transition Petri Nets
2002
Proceedings of the tenth international symposium on Hardware/software codesign - CODES '02
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented addresses the symbolic model checking of embedded systems behavioural properties, expressed in either computation tree logics (CTL) or linear temporal logics (LTL). The embedded system specification is given in terms of DTPN models, where elements of the model are captured in a four-module library which implements the
doi:10.1145/774789.774799
dblp:conf/codes/VareaACEP02
fatcat:xomvgqw7zzcufawsrpsxzlla2i