Empleos: maude
-
Mechanized Analysis of Specifications
hace 2 días
Madrid, España IMDEA Software Institute A tiempo completoThe overall goal of the project is the formal implementation of novel rich languages for the specification of highly critical software. Industrial requirements for critical systems are often modeled in an adaptation of temporal logic that is amenable for specification and has clean semantics. The main goal of this part will be to implement the formal...