Peter Päppinghaus

Learn More
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables for railway systems. For simulation the whole closed-loop traffic control system is modelled within FALKO. The railway process model part of FALKO was formally specified using(More)
The UNITY approach to specification, design, and verification of parallel programs expounded by Chandy and Misra (1988) contains a programming notation, and a programming logic to express and prove properties of UNITY programs. For progress properties there is a basic notion loaxls-go, which comes in two versions. One version here called loads-go explicitly(More)
  • 1