Find link

language:

Find link is a tool written by Edward Betts.

searching for Computer Aided Verification 60 found (84 total)

alternate case: computer Aided Verification

Moshe Vardi (1,205 words) [view diff] no match in snippet view article find links to article

theory, finite model theory, knowledge of multi-agent systems, computer-aided verification and reasoning, and teaching logic across the curriculum. He is

Ehrenfeucht–Fraïssé game (1,295 words) [view diff] case mismatch in snippet view article find links to article

theory and its applications in computer science (specifically computer aided verification and database theory), since Ehrenfeucht–Fraïssé games are one

Valeria Bertacco (181 words) [view diff] no match in snippet view article find links to article

Electrical and Electronics Engineers for her contributions to Computer-aided Verification and Reliable System Design. "Valeria Bertacco appointed vice

DPLL(T) (434 words) [view diff] exact match in snippet view article

Decision Procedures". In Alur, Rajeev; Peled, Doron A. (eds.). Computer Aided Verification. Lecture Notes in Computer Science. Vol. 3114. Springer Berlin

Infer Static Analyzer (780 words) [view diff] exact match in snippet view article find links to article

Calcagno, Dino Distafano and Peter O'Hearn, received the 2016 Computer Aided Verification Award, an award they shared with John C. Reynolds, Samin Ishtiaq

Promela (2,118 words) [view diff] exact match in snippet view article find links to article

verified with Isabelle/HOL is also available, as part of the Computer Aided Verification of Automata (CAVA) project. Files written in Promela traditionally

Bernhard Steffen (computer scientist) (521 words) [view diff] no match in snippet view article

His conceptual background comprises abstract interpretation, computer-aided verification and explanation, automata learning, and the development of domain-specific

Peter O'Hearn (1,087 words) [view diff] exact match in snippet view article find links to article

Academy of Engineering (FREng) and co-received the annual CAV (Computer Aided Verification) award. In 2018, he was elected Fellow of the Royal Society (FRS)

CPAchecker (389 words) [view diff] exact match in snippet view article find links to article

analysis" (PDF). Proceedings of the 19th International Conference on Computer Aided Verification. Springer-Verlag, Heidelberg. ISBN 978-3-540-73367-6. Dirk Beyer

Mihalis Yannakakis (1,448 words) [view diff] case mismatch in snippet view article find links to article

the areas of computational complexity theory, database theory, computer aided verification and testing, and algorithmic graph theory. Among his contributions

Counterexample-guided abstraction refinement (950 words) [view diff] no match in snippet view article find links to article

tableau calculi algorithms to optimise their efficiency. In computer-aided verification and analysis of programs, models of computation often consist

Constrained Horn clauses (593 words) [view diff] exact match in snippet view article find links to article

Golem Horn Solver". In Enea, Constantin; Lal, Akash (eds.). Computer Aided Verification. Lecture Notes in Computer Science. Cham: Springer Nature Switzerland

Uninterpreted function (410 words) [view diff] exact match in snippet view article find links to article

with Lambda Expressions and Uninterpreted Functions" (PDF). Computer Aided Verification. Lecture Notes in Computer Science. Vol. 2404. pp. 78–92. doi:10

Cooperating Validity Checker (1,994 words) [view diff] exact match in snippet view article find links to article

Regular Expressions". In Biere, Armin; Bloem, Roderick (eds.). Computer Aided Verification. Lecture Notes in Computer Science. Vol. 8559. Cham: Springer

PRISM model checker (389 words) [view diff] exact match in snippet view article find links to article

Real-time Systems". In Proc. 23rd International Conference on Computer Aided Verification (CAV’11), volume 6806 of Lecture Notes in Computer Science, pages

Timestamping (computing) (151 words) [view diff] case mismatch in snippet view article

by Tai-hoon Kim, Hojjat Adeli 2010 ISBN 3642135765 page 183 Computer aided verification: 13th International conference, by Gérard Berry, Hubert Comon

E. Allen Emerson (687 words) [view diff] exact match in snippet view article find links to article

successful field of Model Checking. International Conference on Computer Aided Verification. "In Memoriam - E. Allen Emerson". CAV 2025. Retrieved July 24

EasyChair (432 words) [view diff] exact match in snippet view article find links to article

Document Confidentiality". In Biere, Armin; Bloem, Roderick (eds.). Computer Aided Verification - 26th International Conference. LNCS. Vol. 8559. Springer. pp

Romeo Model Checker (159 words) [view diff] exact match in snippet view article find links to article

analyzing time Petri nets". In 17th International Conference on Computer Aided Verification (CAV'05), volume 3576 of Lecture Notes in Computer Science, pages

Shape analysis (program analysis) (1,034 words) [view diff] exact match in snippet view article

(2007). "Shape Analysis for Composite Data Structures" (PDF). Computer Aided Verification. Lecture Notes in Computer Science. Vol. 4590. pp. 178–192. doi:10

Scott A. Smolka (385 words) [view diff] exact match in snippet view article find links to article

checking using tabled resolution." In International Conference on Computer Aided Verification, pp. 143–154. Springer, Berlin, Heidelberg, 1997. 2021 Dijkstra

Larch Prover (1,558 words) [view diff] no match in snippet view article find links to article

Lamport, "Mechanical Verification of Concurrent Systems with TLA", Computer-Aided Verification, G. v. Bochmann and D. K. Probst editors, Proceedings of the

Vacuous truth (1,542 words) [view diff] exact match in snippet view article find links to article

Yoav (1997). "Efficient Detection of Vacuity in ACTL Formulas". Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, June 22–25

C Bounded Model Checker (740 words) [view diff] exact match in snippet view article find links to article

Data Centers". In Chockler, Hana; Weissenbacher, Georg (eds.). Computer Aided Verification. Lecture Notes in Computer Science. Cham: Springer International

Pentium FDIV bug (2,549 words) [view diff] exact match in snippet view article find links to article

Verification in Intel Core i7 Processor Execution Engine Validation". Computer Aided Verification. Lecture Notes in Computer Science. Vol. 5643. pp. 414–429. doi:10

Fluctuat (327 words) [view diff] exact match in snippet view article find links to article

numerical programs within a continuous environment". Proceedings of Computer Aided Verification CAV'09, Grenoble, France. LNCS. Vol. 5649. pp. 620–626. CiteSeerX 10

Marta Kwiatkowska (1,307 words) [view diff] exact match in snippet view article find links to article

Min (2017), "Safety Verification of Deep Neural Networks", Computer Aided Verification, Lecture Notes in Computer Science, vol. 10426, Cham: Springer

Joost-Pieter Katoen (799 words) [view diff] case mismatch in snippet view article find links to article

systems. Katoen's main research interests are formal methods, computer aided verification, in particular model checking and deductive program verification

Formal methods (3,642 words) [view diff] exact match in snippet view article find links to article

power gated designs by compositional reasoning[dead link]", Computer Aided Verification, Springer Berlin Heidelberg, pp. 433–445. P. C. Attie, H. Chockler

Model checking (2,788 words) [view diff] exact match in snippet view article find links to article

Helmut (2000), "Counterexample-Guided Abstraction Refinement", Computer Aided Verification (PDF), Lecture Notes in Computer Science, vol. 1855, pp. 154–169

ISP Formal Verification Tool (626 words) [view diff] exact match in snippet view article find links to article

Reductions in Presence of Split Operations and Relaxed Orderings, Computer Aided Verification (CAV 2008), pp. 66-79, LNCS 5123. Anh Vo, Sarvani Vakkalanka

Timsort (3,040 words) [view diff] exact match in snippet view article find links to article

worst case". In Kroening, Daniel; Păsăreanu, Corina S. (eds.). Computer Aided Verification – 27th International Conference, CAV 2015, San Francisco, CA

Hermite normal form (1,870 words) [view diff] exact match in snippet view article find links to article

Retrieved 2016-06-22. Bouajjani, Ahmed; Maler, Oded (2009-06-19). Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June

Conference on Implementation and Application of Automata (311 words) [view diff] no match in snippet view article find links to article

Complexity of automata operations, state complexity Compilers Computer-aided verification, model checking Concurrency Data and image compression Design

Type inference (3,676 words) [view diff] exact match in snippet view article find links to article

Müller, Peter (2018). "MaxSMT-Based Type Inference for Python 3". Computer Aided Verification. Lecture Notes in Computer Science. Vol. 10982. pp. 12–19. doi:10

Petri net unfoldings (335 words) [view diff] exact match in snippet view article find links to article

circuits". In von Bochmann, Gregor; Probst, David Karl (eds.). Computer Aided Verification. Lecture Notes in Computer Science. Vol. 663. Berlin, Heidelberg:

Bigraph (1,627 words) [view diff] exact match in snippet view article find links to article

Muffy (2016-07-17). Chaudhuri, Swarat; Farzan, Azadeh (eds.). Computer Aided Verification (PDF). Lecture Notes in Computer Science. Springer International

Cache replacement policies (4,885 words) [view diff] no match in snippet view article find links to article

"Ascertaining Uncertainty for Efficient Exact Cache Analysis". Computer-aided verification (2). arXiv:1709.10008. doi:10.1007/978-3-319-63390-9_2. Valentin

Concolic testing (1,998 words) [view diff] exact match in snippet view article find links to article

Concolic Unit Testing and Explicit Path Model-Checking Tools". Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August

Read-copy-update (5,080 words) [view diff] exact match in snippet view article find links to article

Verification of a Lazy Concurrent List-Based Set Algorithm (PDF). Computer Aided Verification. Archived from the original (PDF) on 2009-07-17. Desnoyers, Mathieu;

Finite-state transducer (2,858 words) [view diff] exact match in snippet view article find links to article

Wolper, Pierre (2003). "Iterating Transducers in the Large". Computer Aided Verification. Lecture Notes in Computer Science. Vol. 2725. Springer Berlin

Differential testing (1,149 words) [view diff] exact match in snippet view article find links to article

“Practical, low-effort equivalence verification of real code,” in International Conference on Computer Aided Verification. Springer, 2011, pp. 669–685.

Courcelle's theorem (3,146 words) [view diff] exact match in snippet view article find links to article

"Fast mu-calculus model checking when tree-width is bounded", Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July

Fourier–Motzkin elimination (2,492 words) [view diff] case mismatch in snippet view article find links to article

Monniaux, Quantifier elimination by lazy model enumeration, Computer aided verification (CAV) 2010. RJ. Jing, M. Moreno-Maza, and D. Talaashrafi [1]

Reachability analysis (1,705 words) [view diff] exact match in snippet view article find links to article

K. Rajamani, and J. Rehof : Stuck-free Conformance, Proc. 16th Intl. Conf. on Computer Aided Verification (CAV’04), LNCS, vol. 3114, Springer, 2004

Communicating sequential processes (6,476 words) [view diff] no match in snippet view article find links to article

Fairness" (PDF). Proceedings of the 20th International Conference on Computer-Aided Verification (CAV 2009). Lecture Notes in Computer Science. Vol. 5643. Springer

E-graph (2,143 words) [view diff] exact match in snippet view article find links to article

Validator for LLVM". In Gopalakrishnan, Ganesh; Qadeer, Shaz (eds.). Computer Aided Verification. Lecture Notes in Computer Science. Vol. 6806. Berlin, Heidelberg:

Bekić's theorem (1,187 words) [view diff] exact match in snippet view article find links to article

Winskel, Glynn (1992). "Compositional checking of satisfaction". Computer Aided Verification. Lecture Notes in Computer Science. Vol. 575. pp. 24–36. doi:10

Lenore Zuck (614 words) [view diff] exact match in snippet view article find links to article

abstraction", in Brinksma, Ed; Larsen, Kim Guldstrand (eds.), Computer Aided Verification, 14th International Conference, CAV 2002, Copenhagen, Denmark

Datalog (4,894 words) [view diff] exact match in snippet view article find links to article

Constraints". In Gopalakrishnan, Ganesh; Qadeer, Shaz (eds.). Computer Aided Verification. Lecture Notes in Computer Science. Vol. 6806. Berlin, Heidelberg:

SAT solver (3,628 words) [view diff] exact match in snippet view article find links to article

(2002), "The Quest for Efficient Boolean Satisfiability Solvers", Computer Aided Verification, Lecture Notes in Computer Science, vol. 2404, Springer Berlin

Floating-point arithmetic (14,503 words) [view diff] exact match in snippet view article find links to article

Fast-Math Style Optimizations in a Verified Compiler. CAV 2019: Computer Aided Verification. Vol. 11562. pp. 155–173. doi:10.1007/978-3-030-25543-5_10. Wilkinson

Hyperproperty (958 words) [view diff] exact match in snippet view article find links to article

HyperCTL $$^*$$". In Kroening, Daniel; Păsăreanu, Corina S. (eds.). Computer Aided Verification. Lecture Notes in Computer Science. Vol. 9206. Cham: Springer

Bloom filter (10,785 words) [view diff] exact match in snippet view article find links to article

and Uncertainty in Approximate Membership Query Structures". Computer Aided Verification. Lecture Notes in Computer Science. Vol. 12225. Springer, Cham

Linear temporal logic to Büchi automaton (2,608 words) [view diff] exact match in snippet view article find links to article

LTL to Büchi automata translation, Thirteenth Conference on Computer Aided Verification (CAV ′01), number 2102 in LNCS, Springer-Verlag (2001), pp. 53–65

Malware research (1,112 words) [view diff] exact match in snippet view article find links to article

Inference[usurped], in Proceedings of the 23rd Int. Conference on Computer Aided Verification, 2011, Springer. R. Islam, R. Tian, L. M. Batten, and S. Versteeg:

Interference freedom (5,613 words) [view diff] exact match in snippet view article find links to article

concurrent programs". In S. Lahiri; C. Wang (eds.). CAV 2020: Computer Aided Verification. Lecture Notes in Computer Science. Vol. 12224. Springer Verlag

DEVS (13,730 words) [view diff] exact match in snippet view article find links to article

Finite-State Concurrent Systems. Proceedings of the Workshop on Computer Aided Verification Methods for Finite State Systems. Grenoble, France. pp. 197–212

List of fellows of IEEE Circuits and Systems Society (78 words) [view diff] no match in snippet view article find links to article

and video coding 2017 Valeria Bertacco For contributions to computer-aided verification and reliable system design 2017 Lap-pui Chau For contributions

List of fellows of IEEE Computer Society (124 words) [view diff] no match in snippet view article find links to article

information management. 2017 Valeria Bertacco For contributions to computer-aided verification and reliable system design 2002 Elisa Bertino For contributions