The following pages link to (Q2723913):
Displaying 9 items.
- Automatic software model checking via constraint logic (Q1887740) (← links)
- Superposition as a decision procedure for timed automata (Q1949086) (← links)
- Reachability relations of timed pushdown automata (Q2221811) (← links)
- (Q2767073) (← links)
- A modeling layer for constraint-programming libraries (Q2892256) (← links)
- (Q3075210) (← links)
- Query-Based Model Checking of Ad Hoc Network Protocols (Q3184703) (← links)
- Mechanising shared configuration and diagnosis theories through constraint logic programming (Q4245944) (← links)
- An Assertional Language for the Verification of Systems Parametric in Several Dimensions (Q4921503) (← links)