Thread
Stories related to "A patent for, "systems and methods directed to generating game-based incentives for users of online"" across the full archive.
Challenges in Designing at Scale: Formal Methods in Building Robust Distributed Systems
(perspectives.mvdirona.com)
I recently discovered U.S. Patent 4,643,421, "Video game in which a host image repels ravenous images by serving filled vessels", and even though it's bunk as a patent, it's amazing as a document.
Latency Compensating Methods in Client/Server In-game Protocol Design and Optimization (2001)
(developer.valvesoftware.com)
**Intro**
I think there's enough formal methods fans posting and discussing this here that it'd be nice to have a specific tag for it. Some of the things it would cover:
* Specification Techniques: TLA+, Alloy, Z notation
* Model Checking: bisimulation, state machines
* Verifiable Languages:...
I keep seeing books such as Software Foundations show up on forums with people interested in formal verification told they should look at them. I've watched people try and fail to learn this stuff for years. Very few make it. Some even get bitter against the concept of formal methods because they at...
The HACMS Program: Using Formal Methods to Eliminate Exploitable Bugs (2017)
(rsta.royalsocietypublishing.org)
DARPA's HACMS Program aims to create high-assurance, secure software for vehicles. This comprehensive article on HACMS introduces risks of computers, some techniques for assuring them, some cutting-edge results high assurance, phases of HACMS itself, impediments to using formal methods, and open cha...
Online gaming is popular and it would be extremely valuable if a system could harness this intellectual effort for practical purposes. In this report, we discuss two crowd-sourced, on-line games, that present players with arcade-style puzzles to solve. The puzzles in Ghost Map and Ghost Map Hyperspa...
(I changed title to equivalent one that fits in blank.)
Abstract: "Education in the practical applications of logic and proving such as the formal specification and verification of computer programs is substantially hampered by the fact that most time and effort that is invested in proving is act...
Abstract: "This paper presents an algorithm for synthesizing recursive functions that process algebraic datatypes. It is founded on proof-theoretic techniques that exploit both type information and input–output examples to prune the search space. The algorithm uses refinement trees, a data structure...
DOI: [https://doi.org/10.1016/j.jlamp.2016.08.006](https://doi.org/10.1016/j.jlamp.2016.08.006)
ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4 (2016)
(esug.org)
Abstract: "It is possible to make Integrated Development Environments supporting formal methods that can be as flexible as the support for dynamic programming languages. This paper contributes with a demonstration employing different support environments for the Vienna Development Method Specificati...