User contributions for Jayaprabhakar

For Jayaprabhakar talk block log uploads logs global account filter log

A user with 51 edits. Account created on 5 June 2006.

Jump to navigation Jump to search

Search for contributionsshowhide

⧼contribs-top⧽

Username, IP address or CIDR range:

Namespace:

Invert selection

Associated namespace

Tag filter:

Invert selection

Only show edits that are latest revisions

Only show edits that are page creations

Hide minor edits

⧼contribs-date⧽

From date:

To date:

Show only edits pending review

Hide probably good edits

03:4603:46, 25 June 2024 diff hist +280‎ m List of model checking tools ‎ Added FizzBee current
03:3703:37, 25 June 2024 diff hist +28‎ FizzBee Specification Language ‎No edit summary
03:3603:36, 25 June 2024 diff hist +603‎ N FizzBee Specification Language ‎ ←Created page with 'FizzBee<ref>[https://fizzbee.io/ FizzBee Website], The home page of FizzBee documentation, tutorials and online playground.</ref> is an open-source formal specification language used to model concurrent and distributed system design, using a python-like specification language. FizzBee is based on Linear temporal logic for property specification and uses Logic of Actions for actions generation. In addition to behavioral model checking like...'
00:0400:04, 25 June 2024 diff hist +245‎ m TLA+ ‎ Added another alternative

23:0023:00, 24 June 2024 diff hist +2,726‎ Temporal logic of actions ‎ Added specification languages that use TLA

18:1018:10, 28 May 2024 diff hist +287‎ Specification language ‎ Added FizzBee specification language current

05:1205:12, 7 February 2022 diff hist +57‎ Disruptive innovation ‎ →‎Theory

08:0808:08, 24 December 2012 diff hist +11‎ Vaiko ‎ →‎Nadaipayanam
08:0808:08, 24 December 2012 diff hist +345‎ Vaiko ‎ →‎Nadaipayanam
08:0408:04, 24 December 2012 diff hist +2‎ Vaiko ‎ →‎Nadaipayanam
08:0408:04, 24 December 2012 diff hist +613‎ Vaiko ‎ →‎Protests

09:1709:17, 31 October 2012 diff hist +644‎ Wikipedia:Articles for deletion/Saanvi venna ‎ →‎Saanvi venna

13:0213:02, 27 October 2012 diff hist +494‎ Heroes' Day ‎ →‎Heroes Day in Tamil Eelam

08:3608:36, 9 October 2012 diff hist +47‎ Vaiko ‎ →‎Protests
08:3308:33, 9 October 2012 diff hist +72‎ Vaiko ‎ →‎Protests

07:1807:18, 8 October 2012 diff hist +185‎ Vaiko ‎ →‎Protests
07:1607:16, 8 October 2012 diff hist +101‎ Vaiko ‎ →‎Protests
06:4706:47, 8 October 2012 diff hist −6‎ Vaiko ‎ →‎Protests
06:4606:46, 8 October 2012 diff hist 0‎ Vaiko ‎No edit summary
06:4506:45, 8 October 2012 diff hist +192‎ Vaiko ‎No edit summary
06:3906:39, 8 October 2012 diff hist +12‎ Vaiko ‎No edit summary
06:3806:38, 8 October 2012 diff hist +1,340‎ Vaiko ‎No edit summary
05:5605:56, 8 October 2012 diff hist +285‎ Vaiko ‎No edit summary

18:4818:48, 1 October 2012 diff hist +90‎ Vaiko ‎No edit summary
07:4607:46, 1 October 2012 diff hist +319‎ Vaiko ‎No edit summary
07:4207:42, 1 October 2012 diff hist +692‎ Vaiko ‎No edit summary
07:1107:11, 1 October 2012 diff hist +1,702‎ Vaiko ‎No edit summary

19:2719:27, 21 September 2012 diff hist +72‎ Vaiko ‎No edit summary
19:2619:26, 21 September 2012 diff hist +358‎ Vaiko ‎No edit summary

09:5609:56, 15 May 2012 diff hist +852‎ Vaiko ‎No edit summary

14:1514:15, 2 July 2006 diff hist 0‎ Vaiko ‎No edit summary
13:5713:57, 2 July 2006 diff hist +72‎ Vaiko ‎No edit summary
13:4913:49, 2 July 2006 diff hist +12‎ Vaiko ‎No edit summary
13:4813:48, 2 July 2006 diff hist +325‎ Vaiko ‎No edit summary

18:0718:07, 16 June 2006 diff hist +44‎ Vaiko ‎No edit summary

18:3718:37, 12 June 2006 diff hist +59‎ Vaiko ‎No edit summary

07:0207:02, 11 June 2006 diff hist +102‎ Vaiko ‎No edit summary
06:5806:58, 11 June 2006 diff hist +15‎ Vaiko ‎No edit summary

18:5418:54, 6 June 2006 diff hist +573‎ Vaiko ‎No edit summary

06:5806:58, 5 June 2006 diff hist 0‎ m Vaiko ‎No edit summary

Retrieved from "https://en.wikipedia.org/wiki/Special:Contributions/Jayaprabhakar"