Distributed on-the-fly model checking and test case generation

Saved in:
Bibliographic Details
Published inLecture notes in computer science pp. 126 - 145
Main Authors JOUBERT, Christophe, MATEESCU, Radu
Format Conference Proceeding
LanguageEnglish
Published New York Springer 2006
Berlin
Subjects
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
Online AccessGet full text
ISBN3540331026
9783540331025
ISSN0302-9743

Cover

More Information
ISBN:3540331026
9783540331025
ISSN:0302-9743