LfP : A Specification Language for Rapid Prototyping of Concurrent Systems.
Dan Marius RegepFabrice KordonPublished in: IEEE International Workshop on Rapid System Prototyping (2001)
Keyphrases
- concurrent systems
- rapid prototyping
- specification language
- formal specification
- process algebra
- model checking
- development environment
- agent oriented programming
- reverse engineering
- temporal logic
- description language
- formal methods
- software environment
- simulation platform
- petri net
- programming language
- model checker
- database
- software components
- general purpose