The following pages link to Formal Methods in System Design (Q169908):
Displaying 50 items.
- Z3str2: an efficient solver for strings, regular expressions, and length constraints (Q526767) (← links)
- Empirical software metrics for benchmarking of verification tools (Q526771) (← links)
- Symbolic trajectory evaluation for word-level verification: theory and implementation (Q526779) (← links)
- Faster algorithms for mean-payoff games (Q537946) (← links)
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
- Programs with lists are counter automata (Q537953) (← links)
- MSO logics for weighted timed automata (Q548692) (← links)
- Runtime enforcement monitors: Composition, synthesis, and enforcement abilities (Q548696) (← links)
- Conjugate symmetry (Q548698) (← links)
- Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications (Q600975) (← links)
- Context-aware counter abstraction (Q600978) (← links)
- A game-based abstraction-refinement framework for Markov decision processes (Q600979) (← links)
- MAVEN: Modular aspect verification and interference analysis (Q609017) (← links)
- Theorem prover approach to semistructured data design (Q609020) (← links)
- Special issue: FM2009: 2nd world congress on formal methods. Selected papers based on the presentations at the 16th international symposium on formal methods, Eindhoven, The Netherlands, November 2 -- November 6, 2009 (Q625621) (← links)
- Pointfree expression and calculation: From quantification to temporal logic (Q633283) (← links)
- Doomed program points (Q633286) (← links)
- Scenario-based verification of real-time systems using UPPAAL (Q633291) (← links)
- Model-based construction and verification of critical systems using composition and partial refinement (Q633296) (← links)
- Reasoning about memory layouts (Q633298) (← links)
- Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects (Q633299) (← links)
- Certifying compilers using higher-order theorem provers as certificate checkers (Q633302) (← links)
- Bisimulation conversion and verification procedure for goal-based control systems (Q633304) (← links)
- Special issue: Hardware verification workshop (HWVW '10). Selected papers based on the presentations at the workshop, Edinburgh, Scotland, July 15, 2010 (Q650136) (← links)
- Abstraction and mining of traces to explain concurrency bugs (Q681463) (← links)
- ModelPlex: verified runtime validation of verified cyber-physical system models (Q681465) (← links)
- Scalable offline monitoring of temporal specifications (Q681469) (← links)
- Organising LTL monitors over distributed systems with a global clock (Q681471) (← links)
- Modular abstractions for verifying real-time distributed systems (Q685095) (← links)
- On the comparison of HOL and Boyer-Moore for formal hardware verification (Q685100) (← links)
- Using fixed-point semantics to prove retiming lemmas (Q685101) (← links)
- Gate-delay-fault testability properties of multiplexor-based networks (Q685105) (← links)
- A stubborn attack on state explosion (Q685106) (← links)
- Compositional checking of satisfaction (Q685107) (← links)
- Verification of a multiprocessor cache protocol using simulation relations and higher-order logic (Q685110) (← links)
- Minimum and maximum delay problems in real-time systems (Q685111) (← links)
- A model for synchronous switching circuits and its theory of correctness (Q685112) (← links)
- Specification and automatic verification of self-timed queues (Q685115) (← links)
- Probabilistic verification of Boolean functions (Q685120) (← links)
- Asynchronous datapaths and the design of an asynchronous adder (Q685122) (← links)
- A formal framework for viewpoint consistency (Q698095) (← links)
- Limits of using signatures for permutation independent Boolean comparison (Q698098) (← links)
- Formula-dependent equivalence for compositional CTL model checking (Q698104) (← links)
- Verification of hierarchical state/Event systems using reusability and compositionality (Q698109) (← links)
- Modular and visual specification of hybrid systems: An introduction to HyCharts (Q698433) (← links)
- Bisimulation minimization and symbolic model checking (Q698435) (← links)
- Silicon debug of a powerPC microprocessor using model checking (Q698437) (← links)
- Efficient combinational verification using overlapping local BDDs and a hash table (Q698440) (← links)
- On recursion-free Horn clauses and Craig interpolation (Q746767) (← links)
- Program repair without regret (Q746769) (← links)
