Thread
Stories related to "Advanced computational methods for predicting fracture in materials, structures" across the full archive.
**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...
(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...
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...
(This paper is from the First Workshop on Formal Methods in Software Engineering Education and Training in 2015)
From the abstract (yes, I'm abstracting the abstract, because it actually is too long!):
"[Formal Methods] plays just a minor role in both the everyday work of software engineers as...
I've ploped down some cash to gauge interest in a formal methods meetup. If you're interested in learning and leveraging more formal artefacts in day to day software engineering then please go ahead and sign up while I figure out the logistics.
My current plan is to make it a mix of reading books...
Abstract: "State-based transition systems can take advantage of a symbolic
representation of the concepts of state and transition in order to automatically solve verification questions that could not be otherwise
tackled in terms of explicit representation of the transition system.
We report here...
Formal verification of software is a bit of a niche activity: it is only applied to the most safety-critical or security-critical software and it is typically only performed by specialized verification engineers. This paper considers whether it would be possible to increase adoption of formal method...