scientific article
From MaRDI portal
Publication:2753764
zbMath0976.68576MaRDI QIDQ2753764
Publication date: 6 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
concurrent programsJavadeadlocksprogram verificationruntime analysisrace conditionsguided model checking
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (6)
Effect-polymorphic behaviour inference for deadlock checking ⋮ Deadlock checking by data race detection ⋮ On the complexity of partial order trace model checking ⋮ Program Visualization for Debugging Deadlocks in Multithreaded Programs ⋮ Automated formal analysis and verification: an overview ⋮ Collecting statistics over runtime executions
Uses Software
This page was built for publication:
