scientific article
From MaRDI portal
Publication:2753763
zbMath0976.68556MaRDI QIDQ2753763
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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 (8)
Combining Model Checking and Testing ⋮ A model checking-based approach for security policy verification of mobile systems ⋮ Verification of Boolean programs with unbounded thread creation ⋮ Modular verification of multithreaded programs ⋮ Towards Efficient Verification of Systems with Dynamic Process Creation ⋮ Partial Order Reduction for Rewriting Semantics of Programming Languages ⋮ Verifying time partitioning in the DEOS scheduling kernel ⋮ Translating Java for multiple model checkers: The Bandera back-end
This page was built for publication:
