Search results

Create the page "Model checking" on this wiki! See also the search results found.

• TACAS 2009
  * Theorem-proving and model-checking;
  4 KB (543 words) - 16:39, 16 July 2020
• CSR 2009
  * model checking
  5 KB (614 words) - 17:22, 11 September 2008
• VSTTE 2008
  Verification, Least-Fixpoint Checking, Abstraction Verified Protection Model of the seL4 Microkernel
  5 KB (686 words) - 12:27, 12 September 2008
• DBKDA 2020
  ...ion; Benchmarking replication; Community detection; Risk-adaptive security model; Faceted queries over ontologies; Inclusion dependencies; Periodic-frequent ...Data integration, linkage and fusion; D uplicate detection and consistency checking; D ata mining and data quality assessment; Quality methods and algorithms /
  11 KB (1,371 words) - 12:28, 18 May 2020
• SEA 2011
  Software Verification and Model Checking Model-Based Methodologies
  2 KB (293 words) - 10:35, 24 June 2011
• DEPEND 2008
  Verification and validation (including model checking) of dependable software architectures
  7 KB (960 words) - 17:48, 14 October 2008
• CASCON 2008
  - Reliability: verification and validation; model checking; =
  9 KB (1,193 words) - 22:53, 14 October 2008
• LPAR 2008
  ...ication through formal methods such as automated theorem proving and model checking. Logic is also the stuff of knowledge representation and artificial intelli - Model checking
  5 KB (799 words) - 21:49, 26 February 2020
• ICTAC 09
  * model checking and theorem proving
  8 KB (1,085 words) - 18:01, 12 February 2009
• FSMNLP 2008
  * Zipf's law and coverage, model checking against finite corpora * data scarcity, realistic variations of Gold's model, learnability and cognitive science
  9 KB (1,072 words) - 23:06, 14 October 2008
• TCS 2008
  theory; finite model theory; formal aspects of program complexity; modal and temporal logics; model checking and
  5 KB (698 words) - 23:08, 14 October 2008
• ICWS 2008
  model. Panels and tutorials will run before and throughout the * Type Systems and Type Checking for Web Services
  8 KB (1,158 words) - 23:14, 14 October 2008
• CCBS 09
  ...ce systems in the aforementioned industries with special emphasis on using model-based design and testing paradigms. Papers reporting industrial experiences * Model-based software testing and formal methods (model checking, theorem proving)
  5 KB (660 words) - 16:46, 27 December 2015
• ADCSS 2008
  MODEL BASED SOFTWARE ENGINEERING ...odels" is becoming state-of-the-art in the software engineering field. The model based development approach is also more and more being applied to space on-
  18 KB (2,714 words) - 23:23, 14 October 2008
• CORCS 2008
  component software: model-checking, abstraction, model extraction
  2 KB (254 words) - 23:22, 14 October 2008
• LICS 2008
  ...e, logics of programs, logic programming, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, pr
  2 KB (285 words) - 15:11, 7 November 2016
• DATICS 2009
  * theory and foundations: model checking, SAT-based methods, use of PSL, compositional methods and probabilistic met * applications of formal methods: equivalence checking, CSP applications and transaction-level verification
  9 KB (1,181 words) - 00:37, 15 October 2008
• EURASIP Journal on Embedded Systems 2009
  ...y provide nice features for high-level specification but also enable model checking-based verification due to their formal semantics. Other semiformal notation ...techniques such as module checking and applications of module checking
  4 KB (456 words) - 23:30, 14 October 2008
• MEMOCODE 2008
  * formal verification (model checking, theorem proving)
  4 KB (526 words) - 23:30, 14 October 2008
• LICS 2020
  * finite model theory * model checking
  5 KB (656 words) - 11:29, 27 August 2020

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)