Real-Time Model Checking on Secondary Storage

DOI10.1007/978-3-540-74128-2_5zbMath1196.68131OpenAlexW1531679094MaRDI QIDQ5423883

Shahid Jabbar, Stefan Edelkamp

Publication date: 1 November 2007

Published in: Model Checking and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74128-2_5

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

Hierarchical Adaptive State Space Caching Based on Level Sampling

This page was built for publication: Real-Time Model Checking on Secondary Storage