Formal methods
Why did AM run out of steam? glam pages staff abstracts why did halt
Why did AM run out of steam?
Last doubts removed about the proof of the Four Color Theorem , MAA Online, January 2005
Last doubts removed about the proof of the Four
Color Theorem
Official home page of DAEDALUS ens projects daedalus
DAEDALUS (Validation of critical software by
static analysis and abstract testing)
HQL by H. Hernan Moraldo – complete denotational semantics of a small language
H. Hernan Moraldo's website
Presentation by Josh Cogliati
Denotational Semantics
''Denotation Semantics'' by Lloyd Allison
Denotational Semantics of Computer Programming Languages
''Denotational Semantics: A Methodology for Language Development'' by David Schmidt
''Structure of Programming Languages I: Denotational Semantics'' by Wolfgang Schreiner
Structure of Programming Languages I:
Denotational Semantics
RAISE information raise
The IMM/DTU RAISE Page
RAISE: Rigorous Approach to Industrial Software Engineering
IF toolset website www
IF
Uppaal website
UPPAAL
Center for Embedded Computer Systems
UCI Center for Embedded Computer Systems (CECS)
DREAM website
Distributed Real-time Embedded Analysis Method - DREAM ™ - Open-source formal verification and analysis
DCVALID: A tool for model-checking Duration Calculus formulae
DCVALID: A model checker for Duration Calculus
Duration Calculus – Virtual Library entry
WWW Virtual Library: Formal Methods - Duration Calculus
Official ESC/Java website research esc
Don Sannella - Information about Extended ML homepages
Hierarchical State Machines
Hierarchical State Machine Design Pattern
Description from the Free On-Line Dictionary of Computing
Finite State Machine from FOLDOC
DBLP list of papers uni trier journals
Formal Aspects of Computing
Manuscript submission information journal submission
Formal Aspects of Computing-Springer Mathematical Applications in Computer Science Journal
Editorial board journal
Formal Aspects of Computing-Springer Mathematical Applications in Computer Science Journal
About the journal journal about
Formal Aspects of Computing-Springer Mathematical Applications in Computer Science Journal
Current electronic sample issue
SpringerLink - Issue
Current print sample issue
SpringerLink - Issue
Current electronic issue
SpringerLink - Issue
Current print issue
SpringerLink - Issue
Springer MetaPress link link
SpringerLink - Publication
Companies info companies
The World Wide Web Virtual Library:
Formal Methods Companies
Organizations info
Formal Methods Organizations
http://www.froola.com - now! froola
Previous page
Next page
This article is licensed under the GNU Free Documentation License.
It uses material from the Wikipedia articles :
Computer-assisted proof , DAEDALUS , Denotational semantics , Dines Bjørner , DREAM tool , Duration Calculus , ESC/Java , Extended ML , Finite state machine , Formal Aspects of Computing , Formal methods , .
If you use exact copy or modified of this article you should preserve above paragraph and put also : It uses material from
the Froola link list about "Formal methods".