Meta tags:
description=[“Helping construct software that does what we expect”];

Headings (most frequently used words):

and, epfl, lara, lab, for, automated, reasoning, analysis, helping, construct, software, that, does, what, we, expect, research, development, support, more, information,

Text of the page (most frequently used words):
the (8), for (7), and (6), lara (4), #software (4), see (3), epfl (3), develop (3), that (3), stainless (3), automated (3), #reasoning (3), page (2), github (2), more (2), information (2), assistant (2), viktor (2), kunčak (2), research (2), scala (2), verified (2), several (2), techniques (2), helping (2), construct (2), does (2), what (2), expect (2), lab (2), analysis (2), this, was, generated, pages, well, video, channel, course, formal, verification, administrative, sylvie, buchard, system, manager, fabien, salvi, support, sankalp, gambhir, samuel, chassot, simon, guilloud, dragana, milovancevic, mario, bucev, development, organization, library, provably, correct, parsing, pretty, printing, scallion, project, proof, based, first, order, logic, set, theory, lisa, tool, constructing, formally, guaranteed, meet, specifications, all, inputs, primary, input, format, subset, furthermore, shows, case, studies, carried, out, using, bolts, asplos, tutorial, group, led, precise, tools, algorithms, languages, goal, these, help, construction, computer, systems, open, source, projects, notably, skip, content,

Text of the page (random words):
epfl lara lab for automated reasoning and analysis helping construct software that does what we expect skip to the content epfl lara lab for automated reasoning and analysis helping construct software that does what we expect lara is a research group led by viktor kunčak we develop precise automated reasoning techniques tools algorithms and languages the goal of these techniques to help construction of verified computer systems we develop several open source projects notably stainless is a tool for constructing formally verified software that is guaranteed to meet specifications for all inputs see the asplos tutorial the primary input format to stainless is a subset of scala furthermore bolts shows several case studies carried out using stainless lisa is a project to develop proof assistant based on first order logic and set theory scallion is a scala library for provably correct parsing and pretty printing for more information on software see the organization s github research and development viktor kunčak mario bucev dragana milovancevic simon guilloud samuel chassot sankalp gambhir support system manager fabien salvi administrative assistant sylvie buchard more information see the epfl page of lara as well as the video channel for the formal verification course this page was generated by github pages