Meta tags:

Headings (most frequently used words):

t2, temporal, prover, contents, overview, references, further, reading, external, links,

Text of the page (most frequently used words):
microsoft (24), net (17), windows (16), the (13), software (13), temporal (12), #prover (11), open (11), research (10), wikipedia (9), edit (9), and (8), foundation (7), license (7), framework (7), for (7), labs (6), project (6), source (6), github (6), tools (6), asp (6), search (5), this (5), page (5), links (5), free (5), program (5), language (4), contents (4), article (4), other (4), toolkit (4), main (4), library (4), file (4), hide (4), move (4), sidebar (4), view (3), you (3), stub (3), template (3), mit (3), that (3), mono (3), can (3), help (3), information (3), related (3), com (3), live (3), operating (3), neural (3), network (3), projects (3), linux (3), system (3), visual (3), basic (3), overview (3), terminator (3), property (3), verification (3), analyzer (3), toggle (2), table (2), code (2), contact (2), about (2), privacy (2), policy (2), text (2), under (2), terms (2), may (2), using (2), was (2), with (2), categories (2), all (2), articles (2), wayback (2), short (2), description (2), wikidata (2), stubs (2), retrieved (2), from (2), adding (2), missing (2), category (2), current (2), msr (2), allegiance (2), detours (2), comic (2), chat (2), mimalloc (2), dryad (2), barrelfish (2), systems (2), theorem (2), worldwide (2), telescope (2), seal (2), onefuzz (2), intelligence (2), lightgbm (2), infer (2), cognitive (2), automatic (2), graph (2), layout (2), conference (2), orleans (2), deepspeed (2), verona (2), lean (2), bosque (2), languages (2), forms (2), frameworks (2), sdk (2), studio (2), xml (2), design (2), manager (2), publication (2), external (2), further (2), reading (2), mmjb (2), references (2), pointers (2), programs (2), termination (2), analysis (2), general (2), problem (2), portal (2), 2017 (2), appearance (2), upload (2), changes (2), history (2), read (2), log (2), create (2), account (2), donate (2), menu (2), add, topic, mobile, cookie, statement, statistics, developers, conduct, legal, safety, contacts, disclaimers, available, additional, apply, site, agree, registered, trademark, non, profit, organization, wikimedia, inc, use, creative, commons, attribution, sharealike, rendered, parsoid, last, edited, february, 2026, utc, hidden, webarchive, matches, science, uses, programmed, https, org, index, php, title, t2_temporal_prover, oldid, 1340091581, scientific, office, adcenter, academic, kodu, docs, fuse, photosynth, clipboard, listas, deepfish, discontinued, deep, zoom, seadragon, pivot, applied, kinect, xbox, songsmith, trueskill, group, shot, cleartype, sensecam, touchlight, pixelsense, sideshow, launched, products, joins, accelerator, apis, verve, singularity, midori, homeos, slam, photodna, nodexl, mylifebits, livestation, image, composite, editor, illumiroom, holoportation, digits, wallop, penny, black, honeymonkey, gazelle, avalanche, ajaxview, networking, internet, confidential, consortium, bitvault, grid, computing, distributed, secpal, polyphonic, phoenix, bartok, compilers, outercurve, security, letter, hobbyists, specification, promise, codeplex, forges, reciprocal, public, licenses, subsystem, tpm, reference, implementation, tlaps, silk, reactivex, gollum, fourq, flexwiki, extensible, storage, engine, chronozoom, azure, sonic, dos, xunit, xsp, xdp, wix, winobjc, winjs, presentation, umdf, kmdf, driver, communication, app, vowpal, wabbit, vott, voldemort, virtual, git, vcpkg, prove, tla, toolbox, transformation, svnbridge, stylecop, signalr, sandcastle, roslyn, recursiveextractor, python, procmon, procdump, playwright, service, mesh, exchange, management, infrastructure, nuget, npm, msquic, msbuild, monodevelop, mod_mono, mixed, reality, enterprise, standard, managed, extensibility, fluid, fluent, entity, electron, ebpf, dynamic, runtime, diskspd, dapr, clr, profiler, chakracore, ccf, winrt, blazor, bitfunnel, babylon, avalonia, web, razor, mvc, core, ajax, airsim, micro, maui, gadgeteer, development, typescript, small, online, powershell, power, ironruby, ironpython, dafny, programming, zork, video, games, notepad, package, console, calculator, terminal, powertoys, writer, family, show, atom, movie, maker, applications, shared, initiative, foss, archived, october, 2013, machine, logic, marc, brockschmidt, byron, cook, samin, ishtiaq, heidy, khlaaf, nir, piterman, 2016, 1512, 08689, arxiv, springer, proceedings, tacas, december, 2019, via, rob, knies, 2010, tackles, impossible, task, licensed, hosted, aims, find, whether, run, infinitely, called, supports, nested, loops, recursive, functions, side, effects, function, well, concurrent, like, tries, solve, particular, cases, since, provides, solution, which, meaning, when, states, does, always, terminate, result, dependable, sound, undecidable, halting, automated, developed, repository, www, website, type, platform, macos, ubuntu, debian, written, cade_2017, years, ago, stable, release, developer, original, author, encyclopedia, item, printable, version, download, pdf, print, export, switch, legacy, parser, get, shortened, url, cite, permanent, link, what, here, actions, english, talk, العربية, top, personal, special, pages, recent, community, learn, contribute, random, events, navigation, jump, content,

Text of the page (random words):
t2 temporal prover wikipedia jump to content main menu main menu move to sidebar hide navigation main page contents current events random article about wikipedia contact us contribute help learn to edit community portal recent changes upload file special pages search search appearance donate create account log in personal tools donate create account log in contents move to sidebar hide top 1 overview 2 references 3 further reading 4 external links toggle the table of contents t2 temporal prover 1 language العربية edit links article talk english read edit view history tools tools move to sidebar hide actions read edit view history general what links here related changes upload file permanent link page information cite this page get shortened url switch to legacy parser print export download as pdf printable version in other projects wikidata item appearance move to sidebar hide from wikipedia the free encyclopedia program analyzer research project t2 temporal prover original author microsoft research developer microsoft stable release cade_2017 may 30 2017 9 years ago 2017 05 30 written in c f operating system windows linux debian ubuntu macos platform net framework mono type program analyzer license mit license website www microsoft com en us research publication t2 temporal property verification repository github com mmjb t2 free and open source software portal t2 temporal prover is an automated program analyzer developed in the terminator research project at microsoft research overview edit t2 aims to find whether a program can run infinitely called a termination analysis it supports nested loops and recursive functions pointers and side effects and function pointers as well as concurrent programs like all programs for termination analysis it tries to solve the halting problem for particular cases since the general problem is undecidable 1 it provides a solution which is sound meaning that when it states that a program does always terminate the result is dependable the source code is licensed under mit license and hosted on github 2 references edit rob knies terminator tackles an impossible task retrieved 2010 05 25 github mmjb t2 t2 temporal prover december 4 2019 via github further reading edit marc brockschmidt byron cook samin ishtiaq heidy khlaaf nir piterman 2016 t2 temporal property verification proceedings of tacas 16 springer arxiv 1512 08689 external links edit t2 temporal logic prover on github t2 temporal property verification publication at microsoft research terminator research project at the wayback machine archived october 4 2013 v t e microsoft free and open source software foss overview microsoft and open source shared source initiative software applications 3d movie maker atom conference xp family show file manager open live writer microsoft comic chat microsoft edit microsoft powertoys terminal windows calculator windows console windows package manager worldwide telescope xml notepad video games allegiance zork programming languages bosque c dafny f f gw basic ironpython ironruby lean p power fx powershell project verona q small basic online typescript visual basic frameworks development tools net net framework net gadgeteer net maui net micro framework airsim asp net asp net ajax asp net core asp net mvc asp net razor asp net web forms avalonia babylon js bitfunnel blazor c winrt ccf chakracore clr profiler dapr deepspeed diskspd dryad dynamic language runtime ebpf on windows electron entity framework fluent design system fluid framework infer net lightgbm managed extensibility framework microsoft automatic graph layout microsoft c standard library microsoft cognitive toolkit microsoft design language microsoft detours microsoft enterprise library microsoft seal mimalloc mixed reality toolkit ml net mod_mono mono monodevelop msbuild msquic neural network intelligence npm nuget onefuzz open management infrastructure open neural network exchange open service mesh open xml sdk orleans playwright procdump procmon python tools for visual studio r tools for visual studio recursiveextractor roslyn sandcastle signalr stylecop svnbridge t2 temporal prover text template transformation toolkit tla toolbox u prove vcpkg virtual file system for git voldemort vott vowpal wabbit windows app sdk windows communication foundation windows driver frameworks kmdf umdf windows forms windows presentation foundation windows template library windows ui library winjs winobjc wix xdp for windows xsp xunit net z3 theorem prover operating systems ms dos v1 25 v2 0 v4 0 barrelfish sonic azure linux other chronozoom extensible storage engine flexwiki fourq gollum project mu reactivex silk tlaps tpm 2 0 reference implementation windows subsystem for linux licenses microsoft public license microsoft reciprocal license forges codeplex github related net foundation f software foundation microsoft open specification promise open letter to hobbyists open source security foundation outercurve foundation category v t e microsoft research msr main projects languages compilers bartok bosque cω f lean p project verona phoenix polyphonic c secpal distributed grid computing bitvault confidential consortium framework deepspeed orleans internet networking ajaxview avalanche conference xp gazelle honeymonkey penny black wallop other projects automatic graph layout cognitive toolkit digits holoportation illumiroom image composite editor infer net lightgbm livestation mylifebits neural network intelligence nodexl onefuzz photodna seal slam t2 temporal prover worldwide telescope z3 theorem prover operating systems barrelfish homeos midori singularity verve apis accelerator dryad joins mimalloc launched as products c comic chat detours f sideshow pixelsense touchlight sensecam cleartype group shot allegiance trueskill songsmith xbox kinect msr labs applied research live labs current pivot seadragon deep zoom discontinued deepfish listas live clipboard photosynth fuse labs docs com kodu other labs academic search adcenter labs office labs category this microsoft windows software related article is a stub you can help wikipedia by adding missing information v t e this scientific software article is a stub you can help wikipedia by adding missing information v t e retrieved from https en wikipedia org w index php title t2_temporal_prover oldid 1340091581 categories free software programmed in c microsoft free software microsoft research software that uses mono software software using the mit license windows software stubs science software stubs hidden categories articles with short description short description matches wikidata webarchive template wayback links all stub articles this page was last edited on 23 february 2026 at 22 43 utc page was rendered with parsoid text is available under the creative commons attribution sharealike 4 0 license additional terms may apply by using this site you agree to the terms of use and privacy policy wikipedia is a registered trademark of the wikimedia foundation inc a non profit organization privacy policy about wikipedia disclaimers contact wikipedia legal safety contacts code of conduct developers statistics cookie statement mobile view search search toggle the table of contents t2 temporal prover 1 language add topic