Cubicle - PDFSEARCH.IO - Document Search Engine

Cubicle
Results: 142

#	Item
1	Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems Tool Paper Sylvain Conchon1 , Amit Goel2 , Sava Krsti´c2 Alain Mebsout1 , and Fatiha Za¨ıdi1 1 Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Theoretical computer science Logic in computer science Temporal logic Constraint programming Electronic design automation Satisfiability modulo theories Alt-Ergo Computation tree logic Model theory
2	Université Paris-Sud École Doctorale d’Informatiqe Laboratoire de Recherche en Informatiqe Discipline : Informatiqe Add to Reading List Source URL: cubicle.lri.fr Language: French - Date: 2014-11-05 08:00:52
3	Inférence d’invariants pour le model checking de systèmes paramétrés Alain Mebsout LRI, Université Paris-Sud Soutenance de thèse Add to Reading List Source URL: cubicle.lri.fr Language: French - Date: 2014-11-05 08:01:04
4	V´erification de programmes C concurrents avec Cubicle : Enfoncer les barri`eres Sylvain Conchon1,2 & David Declerck1 & Luc Maranget3 & Alain Mebsout1,2 1: Universit´e Paris Sud, CNRS, FOrsay ˆ 2: INRIA Saclay Add to Reading List Source URL: mebsout.github.io Language: French - Date: 2017-07-21 11:03:15
5	Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems Tool Paper Sylvain Conchon1 , Amit Goel2 , Sava Krsti´c2 Alain Mebsout1 , and Fatiha Za¨ıdi1 1 Add to Reading List Source URL: cubicle.lri.fr Language: English - Date: 2013-07-31 06:15:38 Theoretical computer science Logic in computer science Temporal logic Constraint programming Electronic design automation Satisfiability modulo theories Alt-Ergo Computation tree logic Model theory
6	V´erification de programmes C concurrents avec Cubicle : Enfoncer les barri`eres Sylvain Conchon1,2 & David Declerck1 & Luc Maranget3 & Alain Mebsout1,2 1: Universit´e Paris Sud, CNRS, FOrsay ˆ 2: INRIA Saclay Add to Reading List Source URL: cubicle.lri.fr Language: French - Date: 2014-01-13 12:02:51
7	Invariants for Finite Instances and Beyond Sylvain Conchon∗† Amit Goel‡ Sava Krsti´c‡ Add to Reading List Source URL: cubicle.lri.fr Language: English - Date: 2013-07-31 06:27:46 120-cell Reachability FO Tiny Encryption Algorithm Mathematics Discrete mathematics Mathematical logic
8	f´ evrier 2013 Journ´ ees Francophones des Langages Applicatifs Add to Reading List Source URL: cubicle.lri.fr Language: French - Date: 2013-07-31 06:15:38
9	Zen Art and the Cubicle Freedom Add to Reading List Source URL: nicholasbate.typepad.com - Date: 2013-01-07 04:27:43
10	MCMASTER INNOVATION PARK Vacancies at the Atrium@MIP “McMaster Innovation Park is McMaster’s vehicle for providing specialized research, laboratory and office space in support of innovation and commercialization ini Add to Reading List Source URL: mcmasterinnovationpark.ca Language: English Economy of Hamilton Ontario McMaster Innovation Park Office McMaster University Cubicle Ontario