SpecExplorer
From MaRDI portal
Software:23312
swMATH11366MaRDI QIDQ23312FDOQ23312
Author name not available (Why is that?)
Cited In (13)
- Composing model programs for analysis
- Generating models of infinite-state communication protocols using regular inference with abstraction
- Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API
- Test generation from state based use case models
- Play to Test
- On theorem prover-based testing
- Implementation relations and test generation for systems with distributed interfaces
- Integration of verification methods for program systems
- Trustworthy Global Computing
- Combining Model Checking and Testing
- A Random Testing Approach Using Pushdown Automata
- Composition of Model Programs
- State Isomorphism in Model Programs with Abstract Data Structures
This page was built for software: SpecExplorer
