A probabilistic approach to automatic verification of concurrent systems

Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC

Volumn , Issue , 2001, Pages 317-324

  Tronci, Enrico ^a   Penna, Giuseppe Della ^a   Intrigila, Benedetto ^a   Zilli, Marisa Venturini ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

Automatic verification and validation; Concurrent systems; Distributed systems; Embedded systems; Formal methods; Model checking; Probabilistic verification; Reactive systems

Indexed keywords

ALGORITHMS; DISTRIBUTED COMPUTER SYSTEMS; EMBEDDED SYSTEMS; ERRORS; FINITE AUTOMATA; PROBABILITY; RANDOM ACCESS STORAGE; STORAGE ALLOCATION (COMPUTER);

AUTOMATIC VERIFICATION AND VALIDATION; CONCURRENT SYSTEMS; FORMAL METHODS; MODEL CHECKING; PROBABILISTIC VERIFICATION; REACTIVE SYSTEMS;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0035690292     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (38)

1. State-based model checking of event-driven system requirements
2. Graph-based algorithms for boolean function manipulation
3. 20 states and beyond
4. Model checking large software specifications
5. Formal methods: State of the art and future directions
6. Memory efficient algorithms for the verification of temporal properties
7. Protocol verification as a hardware design aid
8. Using abstraction and model checking to detect safety violations in requirements specifications
9. The spin model checker
10. An analysis of bitstate hashing
11. Automating software feature verification
12. State compression in spin: Recursive indexing and compression training runs
13. New techniques for efficient verification with implicitly conjoined bdds
14. Better verification through symmetry
15. Efficient verification of symmetric concurrent systems
16. Elements of style: Analyzing a software design feature
17. On the random walk method for protocol testing
18. Binary decision diagrams on network of workstations
19. High performance bdd package by exploiting memory hierarchy
20. Parallelizing the murφ verifier
21. Using magnetic disk instead of main memory in the murφ verifier
22. Improved probabilistic verification by hash compaction
23. A new scheme for memory-efficient probabilistic verification
24. Implementation of an efficient parallel bdd package
25. Test generation derived from model-checking
26. Hardware verification, boolean logic programming, boolean functional programming
27. Exploiting transition locality in automatic verification
28. A probabilistic approach to automatic verification of concurrent systems
29. Model checking programs
30. Verification of concurrent client-server real-time scheduling systems
31. Procedure-level verification of real-time concurrent systems
32. Reliable hashing without collision detection