The following pages link to Formal Methods in System Design (Q169908):
Displaying 14 items.
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
- Abstraction and mining of traces to explain concurrency bugs (Q681463) (← links)
- Using static analysis to reduce dynamic analysis overhead (Q812056) (← links)
- An iterative approach to verification of real-time systems (Q1346652) (← links)
- Quantitative monitoring of STL with edit distance (Q1667648) (← links)
- New techniques for linear arithmetic: cubes and equalities (Q1688532) (← links)
- Propagation based local search for bit-precise reasoning (Q1688546) (← links)
- Preface of the special issue in memoriam Helmut Veith (Q1696579) (← links)
- Conditions of contracts for separating responsibilities in heterogeneous systems (Q1742989) (← links)
- Monitoring hyperproperties (Q2008281) (← links)
- Incremental column-wise verification of arithmetic circuits using computer algebra (Q2225473) (← links)
- Infinite-state invariant checking with IC3 and predicate abstraction (Q2363814) (← links)
- Verifying data- and control-oriented properties combining static and runtime verification: theory and tools (Q2402555) (← links)
- Bounded model checking using satisfiability solving (Q5946344) (← links)
