Publication:4818796
From MaRDI portal
zbMath1046.68583MaRDI QIDQ4818796
Glenn Bruns, Patrice Godefroid
Publication date: 24 September 2004
Related Items
Lattice Automata, Bounded Model Checking for Partial Kripke Structures, An abstract interpretation toolkit for \(\mu\)CRL, On model checking multiple hybrid views, 3-valued abstraction: More precision at less cost, A local approach for temporal model checking of Java bytecode, On finite-state approximants for probabilistic computation tree logic, When not losing is better than winning: abstraction and refinement for the full \(\mu\)-calculus, Latticed Simulation Relations and Games, Model Checking Recursive Programs with Exact Predicate Abstraction, Don’t Know for Multi-valued Systems