Distributed on-the-fly model checking and test case generation - JOUBERT, Christophe; MATEESCU, Radu (Lecture notes in computer science, 2006)
Keywords: Applied sciences; Computer science; control theory; systems; Computer systems and distributed systems. User interface; Exact sciences and technology; Software; Software engineering; Energy analysis; Complete graph; Refinement method; Iterative method; State space method; Distributed system; Mu calculus; Reachability analysis; Program verification; Test generation; Boolean equation; Storage management; Concurrency; Distributed algorithm; Cryptanalysis; Model checking; Modal logic; Data structure