scientific article; zbMATH DE number 5253706
From MaRDI portal
Publication:5452300
zbMath1142.68044MaRDI QIDQ5452300
Publication date: 26 March 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (15)
Formal analysis of oscillatory behaviors in biological regulatory networks: an alternative approach ⋮ Formal Verification of P Systems with Active Membranes through Model Checking ⋮ Introduction to Model Checking ⋮ Determinization and limit-determinization of Emerson-Lei automata ⋮ Highly-fair bakery algorithm using symmetric tokens ⋮ Deadlock and starvation free reentrant readers-writers: a case study combining model checking with theorem proving ⋮ Efficient approximate verification of B and Z models via symmetry markers ⋮ Synchronizing relations on words ⋮ An analytic tableau calculus for a temporalised belief logic ⋮ Directed Model Checking for B: An Evaluation and New Techniques ⋮ Compiling and verifying SC-SystemJ programs for safety-critical reactive systems ⋮ Formal Model–Driven Design of Distributed Algorithms ⋮ FORMAL VERIFICATION OF P SYSTEMS USING SPIN ⋮ Alternative representations of P systems solutions to the graph colouring problem ⋮ 3-Col problem modelling using simple kernel P systems
Uses Software
This page was built for publication:
