scientific article
From MaRDI portal
Publication:2733893
zbMath1002.68029MaRDI QIDQ2733893
No author found.
Publication date: 12 August 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (20)
Formal verification of mobile robot protocols ⋮ Deterministic delay analysis of AVB switched Ethernet networks using an extended trajectory approach ⋮ Formal analysis of oscillatory behaviors in biological regulatory networks: an alternative approach ⋮ Periodicity based decidable classes in a first order timed logic ⋮ Efficient timed model checking for discrete-time systems ⋮ Introduction to Model Checking ⋮ Separation logics and modalities: a survey ⋮ A survey on compositional algorithms for verification and synthesis in supervisory control ⋮ On the computation of counterexamples in compositional nonblocking verification ⋮ Reasoning about graded strategy quantifiers ⋮ Linear temporal logic symbolic model checking ⋮ Model checking RAISE applicative specifications ⋮ Verification of scope-dependent hierarchical state machines ⋮ Formal verification of multitasking applications based on timed automata model ⋮ Formal reliability analysis of combinational circuits using theorem proving ⋮ The tool TINA – Construction of abstract state spaces for petri nets and time petri nets ⋮ A parametric analysis of the state-explosion problem in model checking ⋮ Vivid: a framework for heterogeneous problem solving ⋮ A logical characterization of data languages. ⋮ Is your model checker on time? On the complexity of model checking for timed modal logics
This page was built for publication:
