scientific article
From MaRDI portal
Publication:2753772
zbMath0976.68571MaRDI QIDQ2753772
Publication date: 6 January 2002
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) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (9)
Combining Model Checking and Testing ⋮ Provably correct runtime monitoring ⋮ From LTL to rLTL monitoring: improved monitorability through robust semantics ⋮ Integrating a formal method into a software engineering process with UML and Java ⋮ Combining test case generation and runtime verification ⋮ Analog property checkers: a DDR2 case study ⋮ Integration of verification methods for program systems ⋮ Collecting statistics over runtime executions ⋮ Efficient abstraction algorithms for predicate detection
This page was built for publication:
