Formal Techniques for Networked and Distributed Systems - FORTE 2005
From MaRDI portal
Publication:5479161
DOI10.1007/11562436zbMath1169.68516OpenAlexW2915402656MaRDI QIDQ5479161
Steven Susanto, Albert Nymeyer, Kairong Qian
Publication date: 7 July 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11562436
Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items
Formal Verification Based on Guided Random Walks, Transition-Based Directed Model Checking, Fast Directed Model Checking Via Russian Doll Abstraction