Hybrid modeling and verification of Java based software [chapter]

Konrad Kułakowski
Software Engineering Techniques: Design for Quality  
From the very beginning, notions such as bisimulation and formal methods like temporal logic HML or mu-Calculs were closely connected with process algebra CCS. Another formal method that is widely used for similar purposes is Petri nets formalism. The presented paper shows how the model given in the form of a Petri net could be transformed into an equivalent algebraic model. Some practical application of this method to the analysis of Java based software wiU be discussed.
doi:10.1007/978-0-387-39388-9_12 dblp:conf/ifip2/Kulakowski06 fatcat:2ebimxa5ffgvvgkzpu7byzmllu