11 pages matching Formal verification in this book
Results 1-3 of 11
What people are saying - Write a review
We haven't found any reviews in the usual places.
PROGRAMMING LANGUAGES AND SOFTWARE ENGINEERING
10 other sections not shown
Other editions - View all
Application and Theory of Petri Nets: Selected Papers from the First and the ...
Claude Girault,Wolfgang Reisig
No preview available - 1982
A-net algebraic algorithm analysis APPLICATION AND THEORY assertion system B-equivalence behaviour Boolean C/E-Systems Camposano communication protocols complete lattice Computer Science concurrent systems condition conflict connector consider construction corresponding deadlock defined Definition Let denote described deterministic diagram distributed elementary event elements equivalent EUROPEAN WORKSHOP event structure example execution Figure finite firing sequences formal Formal verification formula functional description Genrich given graph Heyting algebras Informatik initial marking input interpretation introduced language Lautenbach leakage Lecture Notes Lemma livelock Machine minimal support invariants morphisms nodes Notes in Computer notion obtained occur output paper partial order partially ordered set Petri nets possible problem Project MAC proof properties protocol PT-net recursive represent S-nodes semantics semilinear sequential Session layer shown specification subclass Theorem THEORY OF PETRI tion token transition validation variables virtual ring weight function weighted synchronic distances WORKSHOP ON APPLICATION