The following pages link to Integrated Formal Methods (Q5901610):
Displaying 17 items.
- A model checking-based approach for security policy verification of mobile systems (Q432137) (← links)
- Parameter synthesis for hierarchical concurrent real-time systems (Q488231) (← links)
- Partial order reduction for state/event LTL with application to component-interaction automata (Q549692) (← links)
- Optimising the ProB model checker for B using partial order reduction (Q736463) (← links)
- Test generation from state based use case models (Q736788) (← links)
- Towards verification of computation orchestration (Q736807) (← links)
- Model checking with fairness assumptions using PAT (Q2418662) (← links)
- Concurrent software verification with states, events, and deadlocks (Q2432214) (← links)
- Formal verification technique for grid service chain model and its application (Q2644410) (← links)
- Egalitarian State-Transition Systems (Q2827838) (← links)
- Performance Model Checking Scenario-Aware Dataflow (Q3172842) (← links)
- Partial Order Reduction for State/Event LTL (Q3605476) (← links)
- (Q4877440) (← links)
- Compositional Specification in Rewriting Logic (Q5108529) (← links)
- A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting (Q5166636) (← links)
- Bounded model checking of C programs using event automaton specifications (Q5257124) (← links)
- An Iterative Framework for Simulation Conformance (Q5696303) (← links)
